Hi everybody, we are making Subversion read-only in a couple of seconds. If you get an error message when comitting that is expected. We will re-configure a couple of hooks and tools to the new GitHub-based setup and then enable write access on GitHub. We try to keep the downtime short and will keep you updated. -- Clemens