Volunteers sometimes notice only later on that they did not provide the correct name and sometimes the tool name also changes.
Things that must happen to rename a tool:
- Change space name in gitbook
- Edit gitsync config to change the monorepo directory and commit message
- Move existing content to new tool path
- Update the github project entry
Volunteers sometimes notice only later on that they did not provide the correct name and sometimes the tool name also changes.
Things that must happen to rename a tool: