fschulze/mr.developer — pull request #83 by iElectric (2012-02-26 11:37:44+00:00)
Title: Git: Add pushurl option

Fixes also a packaging problem. Manually tested with github git repository.

Would be nice to do a 1.20 release also :-)