message no. 139571
Posted by j416 in #github at 2016-06-17T12:23:59Z
dadada: if they didn't do a pull request, then they probably didn't care anyway, and if you cared enough to find the fork and merge something from it, perhaps you could simply send them an e-mail