+ [2016-06-25T23:29:47Z] jhass yes, the folks at travis are decent
+ [2016-06-25T23:29:51Z] jhass plus it's all open source
+ [2016-06-25T23:29:56Z] Zarthus But the point is a bit moot: if you are worried to this degree, you should set up your own CI server
+ [2016-06-25T23:30:04Z] Zarthus which large companies do
+ [2016-06-25T23:30:37Z] Zarthus hell, large companies generally have a private git instance on their own network as well

message no. 140407

Posted by dmiles in #github at 2016-06-25T07:51:17Z

Will "git --follow" functionality ever be implemented on Github? If yes, where can I track its progress?
+ [2016-06-26T01:08:44Z] cnk If I delete my fork of a repository, can the original repository still see the diff in a pull request?
+ [2016-06-26T01:09:28Z] cnk I forked someones (terrible) project to help them out. I issued a pull request to show them the changes I think they should make but now I want that repo off my list
+ [2016-06-26T10:56:34Z] CapsAdmin this project was converted from svn to git a while ago but the author (me) is not being linked to my account https://github.com/CapsAdmin/pac3/commits/master?page=22
+ [2016-06-26T10:56:45Z] CapsAdmin shouldn't github automatically do that? the email address does match my primary email address
+ [2016-06-26T11:04:40Z] jhass Author: eliashogstvedt@gmail.com <eliashogstvedt@gmail.com@047d434e-d786-fb00-e516-99c5e643cd71>