On Thu, 28 Apr 2011 23:43:39 +0200, Jiří wrote:
>One more idea - even if the core developers don't want the switch, at >least the current geany git repository could be set up to push changes >to github so people who want to use git have an up-to-date mirror from >which they can clone and create their personal branches. Sure. Does anyone know how to do this? Adding a hook script to "forward" the commits wouldn't be a problem, I just don't know how to do this. Regards, Enrico -- Get my GPG key from http://www.uvena.de/pub.asc
pgplJn1v1y4aZ.pgp
Description: PGP signature
_______________________________________________ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel