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
We’ve updated our runner tagging system. If you’re using our shared runners for your CI pipelines, please review the new tags here: https://docs.mpcdf.mpg.de/bnb/220.html#new-tags-for-mpcdf-gitlab-runners
The old tags will remain valid until the end of February 2026.
Original pull request on GitHub: https://api.github.com/repos/nomad-coe/nomad/pulls/46