#!/bin/sh set -e for pkg in "$@"; do ssh git.debian.org "cd /git/collab-maint && ./setup-repository $pkg '$pkg Debian packaging'" cd "$pkg" git push --all git push --tags cd .. done