We don't have "Debian packages ones" anymore, and the previous steps
already ensure we have pushed stable, devel, and master to tails.git.