jzarl/fsfe-website:tagtool-improvements
master
--remove-tag did not work, and there were some typos in the docs.
The final commit in this PR now removes some tags that failed to be removed previously when working on issue #827...
Excellent, thank you!
51e4f8e47c
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?
--remove-tag did not work, and there were some typos in the docs.
tagtool: bugfixesto WIP: tagtool: bugfixes 2 years agoWIP: tagtool: bugfixesto tagtool: bugfixes and related changes 2 years agoThe final commit in this PR now removes some tags that failed to be removed previously when working on issue #827...
Excellent, thank you!
51e4f8e47c
.