+ [2015-08-21T16:53:59Z] Nevik if you're setting the consistent download up in an environment where you can use git, you can always run a shallow clone, which i think you can run on an arbitrary ref. if you don't know what shallow clones are, i can look into whether they can indeed do that.
+ [2015-08-21T16:54:13Z] Nevik afaik github does not support git-archive (yet), for infrastructure/load reasons
+ [2015-08-21T17:05:43Z] DrSlony thank you frdmn
+ [2015-08-21T17:49:44Z] blood|wrk im trying to force push an older commit to my remote branch. When i attempt to do it, it says "Everything-up-to-date"

message no. 109090

Posted by t4nk913 in #github at 2015-08-21T00:22:31Z

if you reverse a bad merge commit (on remote), what happens when you merge the remote back into a branch that contains the files that were deleted remotely due to the reverse?
+ [2015-08-22T03:27:59Z] factor If I wanted ot add a converter into GITHUB to convert a pcb file from KICAD to STL so you can view your part before downloading it , how would I do this, or could I?
+ [2015-08-22T03:41:39Z] jetsaredim can someone explain how to fix a PR?
+ [2015-08-22T03:42:22Z] jetsaredim there was some space indenting issues with some python code I submitted to a repo and it failed the Travis CI but its an easy fix I just don't know how to do it without creating a whole new PR
+ [2015-08-22T03:45:43Z] Infininight jetsaredim: just fixup your commit and force push it to your repo
+ [2015-08-22T03:45:50Z] Infininight the pull request will automatically update