> Yes. While it is little bit of ceremony, it will help stear the document
> into a good direction. It will also avoid repeating that PR without votes don't get
> merged. Also I think it is a requirements of awesome-lists.
Thanks.
I set some GitHub branch protections for the master branch:
<https://github.com/schemedoc/awesome-scheme/settings/branch_protection_rules/5688094>.
Direct commits are now disallowed and we can only merge pull requests
that are approved by at least 1 other person. Everyone in the GitHub
organization can still do merges but this should help us get used to the
workflow.
Thanks, I did not know it was possible.
Let me know whether it is ok to merge, so that I can start making pull requests
that will be voted by the community.