Project

General

Profile

Actions

Bug #6913

closed

pbchk throws an error with git rm'd files

Added by Matthew Ahrens over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
2016-04-14
Due date:
% Done:

100%

Estimated time:
Difficulty:
Medium
Tags:
needs-triage
Gerrit CR:
External Bug:

Description

If a file is removed with git rm, running pbchk causes an error to be thrown during operation. The output is otherwise correct, but the error is annoying.

Actions

Also available in: Atom PDF