1. 62198cb Comment on PRs if a remote call to merge a change failed by Adam Gandelman · 8 years ago
  2. 49bff07 Merge pull requests from github reporter by Jan Hruban · 9 years ago