chiark / gitweb /
git-debpush: avoid a pipefail problem in get_file_from_ref