Mention our new Git repository for Debian packages