However, going down this road may require to update `MergePullRequest` so that it also bears a number.