CI: Run docs and format on main #163
Conversation
This is needed since we no longer work with a dev branch
|
|
||
| on: | ||
| push: | ||
| branches: [ "dev" ] | ||
| branches: [ "main" ] | ||
|
|
||
| jobs: |
There was a problem hiding this comment.
That makes sense, assuming it will be able to push to main?
|
I think we should allow people with write access to force push If we are only doing one review, anyone with write access can merge changes anyway (using alt accounts). If we need more people doing reviews, we can find a way to allow them to do so without write access. Then GitHub actions can just force push its changes, which will become more important with the introduction of #161. |
|
Allowing force pushing to main is a big mistake, but I assume you mean allowing people to do a normal push? That is something we can maybe do. I just like having that rule to prevent someone from accidentally pushing to main. The other thing that could really work, is if we allow pushing to main, and instead work with releases. So people don't pull directly from main, but rather the latest release. |
|
No idea what I was trying to say in that last message... I don't think you can add GitHub Actions as an exception to branch protection, but you could add your self, or another account used as a bot. The action would then push using that account's PAT, if you would like, I could set it up and get a working test repo. |
|
Yeah I was also thinking about that. You can give it a shot if you want! 👍 |
This is needed since we no longer work with a dev branch.