+ [10 years ago] 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.
+ [10 years ago] gambl0re how do i undo a git push?
+ [10 years ago] VxJasonxV what are you trying to do?
+ [10 years ago] 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.
+ [10 years ago] blahdeblah Hi. Anyone know what the normal expected turnaround time for emails to {support,copyright}@github.com is on holidays/weekends?
+ [10 years ago] blahdeblah e.g. Do they not service them at all outside US business hours, or is there some other arrangement?
+ [10 years ago] CapsAdmin what are your thoughts on the issue section being used for feature requests and ideas?
+ [10 years ago] 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
+ [10 years ago] CapsAdmin at least in my experience