No matches were found for subject:"Bug#891031\: dgit\: Please make the unavoidable error message on first push more user\-friendly"