+ [2015-02-11T22:45:52Z] jaydubya I was just assuming there would be a Reject like there is a Merge
+ [2015-02-11T23:47:41Z] atari314 Hello, I contacted Github through http://github.com/contact, does it send any kind of confirmation (that the contact was received) to my mail?
+ [2015-02-11T23:49:39Z] atari314 thibaultcha, ah, ok, was just wondering if it returned any kind of confirmation, tks :)

message no. 78880

Posted by jaydubya in #github at 2015-02-11T03:02:34Z

I did a Pull Request earlier and my partner merged it into the organization repo. He is now trying to sync his local repo to get those changes but he has been trying for 4 hours and the changes are not on his local repo. This is a transcript of his last attempt -- I think he is using the exact commands we do all the time but the changes won't appear ... https://gist.github.com/anonymous/e8ae66fafd116d77f943
+ [2015-02-12T00:11:29Z] VxJasonxV We generally consider autoreplies to be noise.
+ [2015-02-12T00:17:04Z] atari314 VxJasonxV, tks, I was unfamiliar with how github handled it, tks for the info :)
+ [2015-02-12T00:19:10Z] nedbat GitHub lets me comment on pull requests, but not on an entire repo. I'm looking for ways to do that. One idea is to make a PR with the entire contents of the repo, but that seems impossible. It requires having an empty commit to make the pull request against.
+ [2015-02-12T00:20:01Z] VxJasonxV open an issue?