Repository navigation
Merge away shape/.gitignore with update-shape.py apply, which drops its pin row, fix the .gitignore comment, and note beside the curl one-liner that without gh it needs api.github.com and makes 6 GitHub API calls (part of opensoft/openRepoTools#186) - #345
Merged
Merged