Health-RI / health-ri-metadata

health ri metadata schemas
7 stars 2 forks source link

ci: only allow develop to merge into master #130

Closed Markus92 closed 4 months ago

Markus92 commented 4 months ago

This PR adds a simple Github actions workflow that checks one and only one thing: that PRs to the master branch come directly from develop. It will throw an error if you try to merge a different PR into master by accident.

Inspired by https://stackoverflow.com/questions/71120146/allowing-only-certain-branches-to-pr-merge-to-mainmaster-branch