GitHub PR: Added github actions to push PRs to gitlab.
Original pull request on GitHub: https://api.github.com/repos/nomad-coe/nomad/pulls/46
The old module-image for the shared runners will be discontinued on October 31. All users still referencing gitlab-registry.mpcdf.mpg.de/mpcdf/module-image in their CI pipelines need to switch to the new CI images now, see instructions here.
Original pull request on GitHub: https://api.github.com/repos/nomad-coe/nomad/pulls/46