We have it. Sometimes. Not really.
Some things are git, some are svn and some are rcs.
It's probably a good idea to move to git.
Random people's home directories is the worst.
Wiki content is publicly editable, and as such does not necessarily reflect
the views of the University Computer Club, the Guild or the University of
Contact the webmasters.