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.