+ [2016-03-21T22:05:00Z] synfinatic pretty sure some people do that to give head hunters the illusion they contribute to a lot of projects
+ [2016-03-21T22:05:19Z] synfinatic or because they don't know about the star
+ [2016-03-21T22:28:34Z] Motoko Maybe they do that just in case you delete your repo.
+ [2016-03-21T22:35:28Z] PaddyF i love all who participate in git related projects and above!
+ [2016-03-21T22:48:23Z] pmatulis i used 'git rm --cached' to remove tracking for a file. on github, after pushing, i see every line of the file being removed. will the file end up empty if the branch is merged?

message no. 127754

Posted by knod in #github at 2016-03-21T00:46:04Z

And whether I'm making a new branch that I have to keep committing to, or whether it gets updated with the rest. And how to link (like with -u) it so I can just do git push.
+ [2016-03-22T00:25:35Z] MilkmanDan Can I send a PR to someone on Github from another server?
+ [2016-03-22T01:28:20Z] milki what does that mean o.O
+ [2016-03-22T01:37:39Z] MilkmanDan milki: What does what mean?
+ [2016-03-22T01:37:56Z] milki sending PRs to someone from anotehr server
+ [2016-03-22T01:38:11Z] deltab MilkmanDan: there's an API, I think