Revert "Merge branch 'my-changes' into 'dt-2018'"
This reverts merge request !136 (merged) that was merged by the submitter him/her-self by mistake.
@clemenci shouldn't the dt-YEAR branches be protected at the same level than master?
GitLab Registry scheduled maintenance on Wednesday, October 09th 2024 as of 20:00h Geneva time for a period of 1 hour. Further information under https://cern.ch/otg0152540.
This reverts merge request !136 (merged) that was merged by the submitter him/her-self by mistake.
@clemenci shouldn't the dt-YEAR branches be protected at the same level than master?