central: support a new development workflow where the PR author can be allowed by core developers to merge this PR whenever he wants via a PR comment