Downtime tomorrow at 10:00 CEST

We need to add some additional disk space to our servers again, which means *.gitorious.org will have some downtime starting at 10:00 AM CEST (Central European Summer Time) tomorrow morning (tuesday). We’ll update this post as we proceed.