path: root/localdebgitpush

#!/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