+ [2019-07-25T21:31:15Z] laylas git fetch origin pull/123/head:pull_123
+ [2019-07-25T21:31:48Z] laylas and then merge the local branch "pull_123" locally as you see fit
+ [2019-07-25T21:32:19Z] laylas not sure if this is what you are looking for though
+ [2019-07-25T21:32:37Z] 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
+ [2019-07-25T21:34:42Z] energizer though perhaps can push back to the pr and maybe it'll insert the merge message..

message no. 174283

Posted by laylas in #github at 2019-07-25T21:30:49Z

energizer, I believe you can use something like:
+ [2019-07-26T09:10:29Z] gidna Hello
+ [2019-07-26T09:10:54Z] gidna Is there a way to upload a program to github as a tarball?
+ [2019-07-26T09:17:59Z] nate gidna: Usually under a projects/repo's "Releases" section
+ [2019-07-26T09:20:10Z] 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?
+ [2019-07-26T09:22:57Z] nate remove it from your repository