message no. 98892
Posted by Jachin_ in #github at 2015-06-20T11:20:22Z
Or rather I has the SHA1 of the last commit built by my CI server. I want to see if this commit is the result of a pull request being merged.
Posted by Jachin_ in #github at 2015-06-20T11:20:22Z