Revert "Merge branch 'PR2_github' into 'master'" (!1080) · Merge requests · nordugrid / arc

nordugrid-arc-bot requested to merge revert-bdf5abfb into master Oct 29, 2020

This reverts merge request !1062 (merged) Reason: want instead to use @floridop method to fetch github PR and merge into gitlab branch. As this links the PR in GitHub with MR in Gitlab with correct commit-sha's and therefore automatically marks the GitHub PR as merged once merged in GitLab.

Revert "Merge branch 'PR2_github' into 'master'"

Merge request reports