If you have a request, you can create a ticket for it. You'll need to be a registered user, see below.

You can also mail with your request.


Send an e-mail to and I'll add you to the system. In return, you'll get a username and password from me which you can use for all Subversion repositories and Trac environments on this server (

If you had a username and password for one of the old Subversion repositories on it might still work here. Just try it.


We recently migrated many of our projects to our GitLab server, so you might want to have a look over there.

File a ticket if you want a new repository, or want to have access rules for an existing repository changed. See also SubversionUser.


File a ticket if you want a new Trac environment, or want to have additional plugins installed.

Anything, really

You just create a ticket for it.

Last modified 5 years ago Last modified on Nov 28, 2013 3:13:06 PM