+ [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. 107017

Posted by CorySimmons in #github at 2015-08-10T14:37:27Z

If I try to use the revert button on the closed PR itself I get this error: Sorry, this pull request couldn’t be reverted automatically. It may have already been reverted, or the content may have changed since it was merged.
+ [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 :)