+ [6 years ago] laylas git fetch origin pull/123/head:pull_123
+ [6 years ago] laylas and then merge the local branch "pull_123" locally as you see fit
+ [6 years ago] laylas not sure if this is what you are looking for though
+ [6 years ago] energizer laylas: the problem is that the master branch is restricted so if i apply the merge locally i can't push it into master
+ [6 years ago] energizer though perhaps can push back to the pr and maybe it'll insert the merge message..

message no. 174286

Posted by laylas in #github at 2019-07-25T21:32:19Z

not sure if this is what you are looking for though
+ [6 years ago] gidna Is there a way to upload a program to github as a tarball?
+ [6 years ago] nate gidna: Usually under a projects/repo's "Releases" section
+ [6 years ago] gidna I had already my readme file in the project and then I've chosen to add a README.md that I don't think I need it. How can I remove it?
+ [6 years ago] nate remove it from your repository