tests/tests/drs-push-rejects

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