GitHub repo changes #40
Description
Just listing a few non-urgent todo's for this repo so we have it on the list to check off one day:
- Protect both the
mainanddevelopbranches so they cant be deleted - Add branch rules to each such as (must have an accepted review before merging a PR into the branch) -- maybe slightly looser for
develop? not sure yet