changes to our infrastructure

[Dirk Hohndel]

Hi Everyone,

Here's a quick heads up: I am planning to shut down some of the services that I
provide on my hardware (and that aren't really used anymore). In the next few days
(well, when we are ready to do this, I guess), I will shut down the git and trac server
under the subsurface-divelog.org domain. The main git server has been GitHub for
quite a while now, but I can see in the logs that some people still pull from the old
git.subsurface-divelog.org - so please adjust your .git/config files if that includes you.
And Trac has been deprecated for over a year now. If you have data in there that
you want to migrate to GitHub issues or to another wiki, please talk to me so I know
that you are working on this and don't shut things down before you are ready.

Of course, we also need to do a scan through our documentation both in the
sources and on the website to ensure that we no longer mention these services.

Thanks

/D