chiark / gitweb /
git-debpush: refactor to avoid more than one push command