Merge upstream Omnibus GitLab into Omnibus Heptapod
Brings in 10 non-merge commits.
Merge request reports
Activity
Filter activity
added Upstream merge label
enabled an automatic merge when the pipeline for 0b56f3ae7d30 succeeds
This is what shed light on the fact that the converted changeset 073c5321a199 is bogus, which led to cleaning the git-mapfile, reimporting, closing heads and recreation of the base of this MR by !137 (merged).
We will need to do it again (pruning the current topic for now)
Edited by Georges Racinet
Please register or sign in to reply