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