{git,trac,svn}.mag-sol.com

We used to host various source code control systems on sub-domains of mag-sol.com.

None of these exist any longer. We have switched to using GitHub for all of our source code control.

You'll probably find what you want in Dave's GitHub account.