#!/bin/sh -e
repocop-run -q "$@"
repocop-report-stdout "$@"
repocop-purge-given --no-db-vacuum -q "$@"
