Add protection for "master" branch
fsaad opened this issue · comments
Is there any objection to using Github to protect the master branch? At minimum I propose the following:
- Require a pull request before merging
- Require approvals (1 approval)
Afterwards we can also add "Require status checks" and add the test harness to .github/workflows
Personally fine with this!
Created