+ [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. 127826

Posted by DrSlony in #github at 2016-03-21T13:05:48Z

i see, and can you confirm that the issue tracker for my private repo would also be private? i.e. that no outsider to whom we didn't give explicit permission could see the issues?
+ [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