1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/bash set -e . tests/lib t-drs t-git-none p=pari-extra t-worktree drs cd $p git push origin HEAD:refs/dgit/sid refs/tags/debian/3-2_dummy1