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

Posted by DrSlony in #github at 2016-03-21T13:15:38Z

I want a private repo, hidden from the outside world, and I want to give four other people access to that repo's issue tracker, and only the issue tracker. I don't want them to be able to push code. Can I do that with a personal account?
+ [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