search

bundestag / gesetze-tools

Scripts to maintain German law git repository
GNU Lesser General Public License v3.0
113 stars 21 forks source link

Enable CI also for PRs. #44

Closed darkdragon-001 closed 3 years ago

darkdragon-001 commented 3 years ago

🍰 Pullrequest

Enable CI also on pull requests such that they can be tested.

darkdragon-001 commented 3 years ago

Damn, too much copy and paste. Our main branch is still called master. I updated the PR accordingly.

Explicit notion of pull_request is required to run on pull requests from people who are not maintainers to this repository (e.g. #14). In order to avoid the tests running twice, I explicitly set the branch (note that the branch under pull_request denotes the target branch). This way, tests are run for every pull request and also after merging into master.