Make sure that mirrors do not break on force pushes

GitLab push mirroring breaks when a commit which already exists on the mirror is removed by a force push. Our own script, which mirrors by pulling from the primary and pushing to the mirror should be changed such that it can deal with such situations.

changed milestone to %2022 Februar Sprint

assigned to @danielrainer

changed milestone to %2022 März Sprint

Force pushing to the mirror seems to solve the issue of the mirror not updating when its state diverges from the source repo.

https://sharing-codeability.uibk.ac.at/development/repo_mirroring was updated to force push. Existing mirror setups need to be modified.

Sending an email upon a failed execution is also fairly straightforward and described at the bottom of https://sharing-codeability.uibk.ac.at/development/repo_mirroring/-/blob/main/mirror-setup.

Mirroring for file-hooks, Sharing Platform and the wiki of the Sharing Platform now runs under my account on codeability-austria.uibk.ac.at.

The mirrors are

• https://git.uibk.ac.at/informatik/qe/codeability/austauschplattform/file-hooks
• https://git.uibk.ac.at/informatik/qe/codeability/austauschplattform/austauschplattform

Access permissions to both the source and destination repo are handled via project access tokens. This means that no unnecessary credentials needs to be stored on the server doing the mirroring.

When mirroring fails, an email should be sent to artemis-support-informatik@uibk.ac.at.

assigned to @Michael.Breu and unassigned @danielrainer

closed