The servers are up now. It's ok to push ?

On Mon, Jul 7, 2014 at 7:40 AM, Jerome Leclanche <> wrote:

The machine has been erratic for the last 48 hours.
Yesterday, it went down entirely and now needs a hard reboot. I don't
know who manages it so tracking the issue down has been problematic;
however I've managed to schedule something with the host.

ETA <48 hours. Developers, please do not push any code for the time
being (file pull requests on Github if you must). Users can use the
github (Qt) and gitorious (GTK) mirrors in the mean time:

J. Leclanche

Open source business process management suite built on Java and Eclipse
Turn processes into business applications with Bonita BPM Community Edition
Quickly connect people, data, and systems into organized workflows
Winner of BOSSIE, CODIE, OW2 and Gartner awards
Lxde-list mailing list

        Luís Pereira