Run of fresh-snapshots for minisat+

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot minisat+ 
1
2
3
Opening branch at https://anonscm.debian.org/git/debian-science/packages/minisat+.git,branch=master
Worker failed (worker-hosted-on-alioth): Branch does not exist: Not a branch: "https://anonscm.debian.org/git/debian-science/packages/minisat+.git/".
Elapsed time: 0:00:02.593339

Full worker log