+[2015-07-02T20:46:37Z]tazmanDVLI'm going to have to come back later...I'll dig around docu and stuff later and be back if I don't figure it out. +[2015-07-02T22:00:55Z]gambl0rehow do i undo a git push? +[2015-07-02T22:04:27Z]VxJasonxVyou don't +[2015-07-02T22:04:39Z]VxJasonxVwhat are you trying to do? +[2015-07-02T22:38:31Z]nf7Is it possible to preserve whitespace in github markdown for regular text (not code snippets)?
what is happening when i click sync in the github GUI
+[2015-07-03T09:11:42Z]blahdeblahHi. Anyone know what the normal expected turnaround time for emails to {support,copyright}@github.com is on holidays/weekends? +[2015-07-03T09:12:42Z]blahdeblahe.g. Do they not service them at all outside US business hours, or is there some other arrangement? +[2015-07-03T09:28:00Z]CapsAdminwhat are your thoughts on the issue section being used for feature requests and ideas? +[2015-07-03T09:28:34Z]CapsAdminobviously it's not frowned upoun and github even has enhancment labels by default, but for end users of a project i think the word "issues" scares them off +[2015-07-03T09:28:37Z]CapsAdminat least in my experience