Hi All, I'm talking with the guy that's running git.tasktools.org. As Alioth is shutting down, I'm planning to move the git repositories over there. We'll need to set up access for everyone that needs access, and this isn't all organised yet, just raising this now in case anyone has objections. Thanks, Iain.