Repo changes in gitlab - Githubissues

gul-cpp / gul14

General Utility Library for C++14

https://gul14.info/

GNU Lesser General Public License v2.1

2 stars 1 forks source link

Repo changes in gitlab #90

Closed Finii closed 6 months ago

Finii commented 6 months ago

Recently an automated change happened on the mirrored Desy Gitlab repo...

That change has been auto-reverted by the next sync Github -> Gitlab.

Just to inform you @alt-graph

Finii commented 6 months ago

Having a local change was unexpected by the syncing CI job (well, was not unexpected but untested), and needed to change this to accommodate for changes in the mirrored repo:

So now the CI job can force push commits away, as it is supposed to.