Migrate git.baserock.org to Debian