latest 4 messages by prof_milki

+ [2014-11-23T23:29:15Z] prof_milki hmm, okay then. git clone dance it is then..
+ [2014-11-23T23:10:53Z] prof_milki (Would like to sync with another VCS, but avoid the local git repo/checkout dance.)
+ [2014-11-23T23:10:24Z] prof_milki Is it possible to pipe a `git fast-export` dump directly onto a github repo?