Such should also be documented that developers are expected not to ever directly commit to main. Furthermore, perhaps only Chris, and maybe me, would ever have the Git privilege to commit directly to main, thereby enforcing pull requests for everyone else.