GitHub PR: Added github actions to push PRs to gitlab. (!1167) · Merge requests · nomad-lab / nomad-FAIR · GitLab

Merged Markus Scheidgen requested to merge test-github-actions into develop Mar 21, 2023

Original pull request on GitHub: https://api.github.com/repos/nomad-coe/nomad/pulls/46