Attempting to migrate debian-edu to git.