Starting about 0900 UTC, pipelines get not started for commits pushed to existing branches. Also i pushed a tag, see it in the tag list of the repository, but it is not in the dropdown list of what to build when manually creating a pipeline. So right now i cannot merge because fixes to an open MR do not start a new pipeline, and i cannot even start a new pipeline because the ref to build is not selectable. This seems to be an inconsistency/too slow eventual consistency between the git history/git refs and the CI part?
Edit: This may be connected to https://gitlab.com/gitlab-org/gitlab-ce/issues/47207 ?