message no. 159322
Posted by jnavila in #github at 2016-12-14T18:35:14Z
Is there a good reason why the committer is github when merging a PR from the web interface?
Posted by jnavila in #github at 2016-12-14T18:35:14Z