feat(ng-dev): print pull request title when merging (#877)
feat(ng-dev): print pull request title when merging (#877)

This will help making sure the right PR is selected when merging,
avoiding having to manually compare numbers in some situations.

PR Close #877

angular/dev-infra,angular/dev-infra,angular/dev-infra,angular/dev-infra