+ [2015-03-10T20:36:55Z] Kartagis what does "pull request" exactly mean?
+ [2015-03-10T20:41:29Z] thibaultcha Kartagis: https://help.github.com/articles/using-pull-requests/
+ [2015-03-10T21:51:56Z] matgee sounded ignorant :P
+ [2015-03-10T21:51:55Z] matgee Hi. I am working with a vendor, whom I granted read only access. They forked my repo and sent a pull request. When I run the steps GH tells me to on the PR page (git checkout -b VENDORNAME-BRANCH master; git pull git@github.com:VENDORNAME/repo.git BRANCH) -- I get `ERROR: Repository not found. fatal: Could not read from remote repository.` ... I am assuming it's because theirs is a private repo and I need access, but I wanted to check before I
+ [2015-03-10T22:17:11Z] htrap helo everyone i just forked a repo and created gh-pages branch for a wiki, is their any way i can push this to the main repo

message no. 83083

Posted by sonOfRa in #github at 2015-03-10T00:19:33Z

https://developer.github.com/v3/activity/events/types/#pullrequestevent is the synchronized action the adding of additional commits from the branch that is tracked by the PR?
+ [2015-03-11T00:03:17Z] pardelkat I want to create a respository named "#", is that possible?
+ [2015-03-11T00:21:42Z] gitinfo Try it and see™. You learn much more by experimentation than by asking without having even tried. If in doubt, make backups before you experiment (see !backup). http://gitolite.com/tias.html may help with git-specific TIAS.
+ [2015-03-11T00:27:26Z] lenny I did try.