+ [2015-07-02T20:46:37Z] tazmanDVL I'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] gambl0re how do i undo a git push?
+ [2015-07-02T22:04:27Z] VxJasonxV you don't
+ [2015-07-02T22:04:39Z] VxJasonxV what are you trying to do?
+ [2015-07-02T22:38:31Z] nf7 Is it possible to preserve whitespace in github markdown for regular text (not code snippets)?

message no. 101625

Posted by tazmanDVL in #github at 2015-07-02T20:45:11Z

I realized I had pushed a config file with a pwd in it, edited the file directly on github, added it to .gitignore, and now can't push changes I've made since. I'm confused about that, since that file should be ignored.
+ [2015-07-03T09:11:42Z] blahdeblah Hi. Anyone know what the normal expected turnaround time for emails to {support,copyright}@github.com is on holidays/weekends?
+ [2015-07-03T09:12:42Z] blahdeblah e.g. Do they not service them at all outside US business hours, or is there some other arrangement?
+ [2015-07-03T09:28:00Z] CapsAdmin what are your thoughts on the issue section being used for feature requests and ideas?
+ [2015-07-03T09:28:34Z] CapsAdmin obviously 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] CapsAdmin at least in my experience