+ [2014-08-26T22:04:17Z] tpayne besides deleting it, and re-forking just so you can get the latest from the original master
+ [2014-08-26T23:19:48Z] UserError Does github allow linting bots?
+ [2014-08-26T23:40:32Z] ScottE UserError: I don't think github cares one bit who or what makes changes to your source
+ [2014-08-26T23:56:13Z] honestly github allows all kinds of bots
+ [2014-08-26T23:56:58Z] honestly there are 5 different bots watching some repositories doing linting, CI, automatically setting up stages (whatever that means), etc

message no. 43427

Posted by todd_dsm in #github at 2014-08-26T21:29:01Z

hey guys I'm having some starter-block issues getting my feet wet with github. Basically, I'd like to backup my vim configuration to github. Doing a 'git init' in the home directory seems like a bad practice. What is a good method for starting out like this?
+ [2014-08-27T01:04:16Z] Epitrope is there github-flavored-markdown for milestones?
+ [2014-08-27T01:04:35Z] Epitrope unsees in https://guides.github.com/features/mastering-markdown/
+ [2014-08-27T01:17:05Z] UserError ScottE, I meant for everyone else
+ [2014-08-27T05:42:43Z] tarkus Hey. Is there a way to merge a PR manually (i need to make final edits before merging, for example fix code style issues etc.)
+ [2014-08-27T05:58:09Z] svaksha tarkus: you can create a local branch, make changes, then merge to master.