A shared functionality regarding mergeable PRs, Github and Bugzilla.