+ [10 years ago] gdoteof er rather, the gist that is embedded there
+ [10 years ago] gdoteof s like... not correctly parsing out some of the stuff.. line 15, lines 22-24
+ [10 years ago] gdoteof it's not wrapping them in any span tags even

message no. 96681

Posted by average in #github at 2015-06-04T16:43:37Z

if I made a pull request and I delete my github fork, can the pull-request still be merged ?
+ [10 years ago] Zevv Hi; when I make a release Github also offers automatic zip/tgz archives with all the sources. These are not autoconf-prepared like my release, which confuses my users. Is there a way to omit these automatic zips when releasing, and only offer the release file I make myself?
+ [10 years ago] IntriR Hi all - is it possible to push new commits to a PR that has already been merged? Is this considered bad practice?
+ [10 years ago] VxJasonxV IntriR: you can push to the branch, but the pull request won't update
+ [10 years ago] VxJasonxV you'll have to open a new one
+ [10 years ago] IntriR VxJasonxV: Thanks, appreciate it :)