Repository navigation
validate-pins.py and repo_shape.py: gh's stderr that is not UTF-8 is a skip and no traceback, JSON that is not a tree listing is gh-response-unreadable, every gh detail spells the repository, a leg's git directory this user cannot search is refused by name, and what stands where contracts should be is named (#968) - #985
Merged
Merged