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