+ [2015-08-10T22:56:34Z] gabeio it said reference is not a tree:
+ [2015-08-10T22:57:21Z] Motoko Hmmm. I'm not sure.
+ [2015-08-10T23:02:19Z] gabeio OMG phew okay added .patch to the end of the github url of the commit which gave me the patch diff and used git am to apply it to my repo :phew:
+ [2015-08-10T23:20:00Z] Trinity does editing an issue message or a pull request send a notification/multiple notifications to the original posters?
+ [2015-08-10T23:20:09Z] Trinity I just edited some post like x10 times

message no. 107016

Posted by CorySimmons in #github at 2015-08-10T14:35:07Z

What's the best way to revert a large pull request? Just revert the commit that merged the PR or revert the entire range of commits that created the PR?
+ [2015-08-11T01:16:58Z] cousteau hi, I `git clone`d a github repository and modified a few files; now I want to make a pull request so I forked the repository. Is there a way to just upload files to my forked repository, or should I go with some git push command?
+ [2015-08-11T01:41:50Z] cousteau uh... ok, I think I kinda figured it out. Cloned my own fork, copied modified files to my local copy, ran `git commit -m 'Blah blah blah'`, and now I'm running `git push`, but I get a 403 error.
+ [2015-08-11T01:42:13Z] cousteau error: The requested URL returned error: 403 while accessing .....
+ [2015-08-11T01:54:59Z] cousteau ...screw it, I'll just edit the files one by one on GitHub and paste the new files. I'm tired and it's late.
+ [2015-08-11T04:06:15Z] boodllebat i want to search a code on github not on a repo , i want it on whole github thanks :)