+ [2016-09-07T22:15:39Z] GeekMan use remote ssh key
+ [2016-09-07T22:16:12Z] GeekMan EvilDMP: for this connection
+ [2016-09-07T22:16:43Z] EvilDMP GeekMan: oh hi, thanks, I have managed to solve it in the meantime though
+ [2016-09-07T23:28:32Z] test0 how to know the size of the repository or the thing to clone using `git clone -v --progress ....` ?
+ [2016-09-07T23:47:01Z] test0 ok not a problem, it can be added...

message no. 149765

Posted by Spring in #github at 2016-09-07T06:06:46Z

Impaloo, merely providing the ability to rename such files would be enough to be able to move them. Github already promotes the idea of using the web interface as a workflow, they even have a dedicated microsite about it.
+ [2016-09-08T00:30:30Z] blueyed I am seeing "fatal error in commit_refs" suddenly when force-pushing.. worked inbetween, but now keeps failing..?
+ [2016-09-08T00:30:50Z] blueyed ..and now it worked again.
+ [2016-09-08T00:31:14Z] blueyed this branch btw, in case it would help you: https://github.com/neomake/neomake/pull/591
+ [2016-09-08T00:56:42Z] rubenwardy Does anyone know if it's possible to register some sort of http callback when a commit is pushed to a repo I don't own?
+ [2016-09-08T00:57:00Z] rubenwardy It seems that you can't use web hooks on repos you don't own