fixed a bug in git-permission-repairer