Establishing GitHub project Rules

Beman Project Development
1

I think we should have some Github project rules to protect the main branch of the various repositories.

I set up:
https://github.com/beman-project/beman/settings/rules/733451

I’m not a GitHub expert, so if anybody spots problems with this ruleset, please update it, or let me know what I should do to update it.

Richard

2

Seems fine, but also I’m no expert on github settings. Of course we can only do this on the beman org repos. Which raises the interesting question of what happens if a repo disappears – one wonders if we should be actively cloning repos…

3

These look reasonable to me too.