Mention in contributing guide how PRs are 'merged' from GitHub