On Fri, Apr 05, 2013 at 05:10:58PM +0100, Peter Stephenson wrote:
> On Fri, 05 Apr 2013 17:59:22 +0200 Simon Ruderich wrote:
>> No, AFAIK the website stills needs to be rsynced manually after
>> committing the changes in Git. I'm not sure if there's a way to
>> automate it (hooks maybe).
>
> Sounds like that probably ought to be a straightforward job for someone
> who knows git, assuming we've got a checkout on the server that can be
> rsync'd.

Shouldn't be too difficult, but I don't know if there's a
checkout on the server or if Sourceforge has any tools for this
task.

Wayne, do you know if Sourceforge has any deployment tools for
Git and the website? If it can be accomplished without too much
trouble it would be useful. But rsyncing manually isn't very
complicated either - and we don't update the website too often.

Regards
Simon
-- 
+ privacy is necessary
+ using gnupg http://gnupg.org
+ public key id: 0x92FEFDB7E44C32F9