The OCA GitHub Bot can now merge pull requests Following a long inception period the OCA GitHub Bot recently gained a new capability to merge pull requests. Using it is as simple as typing a comment in a PR that is ready to merge. /ocabot merge Yo...