+[2015-06-04T21:16:18Z]gdoteofer rather, the gist that is embedded there +[2015-06-04T21:16:21Z]gdoteofit' +[2015-06-04T21:16:42Z]gdoteofs like... not correctly parsing out some of the stuff.. line 15, lines 22-24 +[2015-06-04T21:16:50Z]gdoteofit's not wrapping them in any span tags even +[2015-06-04T23:55:04Z]VxJasonxVgdoteof: works4me
+[2015-06-05T07:30:53Z]ZevvHi; 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? +[2015-06-05T07:50:28Z]IntriRHi all - is it possible to push new commits to a PR that has already been merged? Is this considered bad practice? +[2015-06-05T07:54:37Z]VxJasonxVIntriR: you can push to the branch, but the pull request won't update +[2015-06-05T07:54:41Z]VxJasonxVyou'll have to open a new one +[2015-06-05T07:55:59Z]IntriRVxJasonxV: Thanks, appreciate it :)