docs: add how to fix failed tag (#212)

geotribu · Jun 17, 2024 · 33bde08 · 33bde08
2 parents 4ccc21b + ec87960
commit 33bde08
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/development/releasing.md b/docs/development/releasing.md
@@ -4,3 +4,13 @@
 1. Change the version number in `__about__.py`
 1. Apply a git tag with the relevant version: `git tag -a 0.3.0 {git commit hash} -m "New awesome feature"`
 1. Push tag to main branch: `git push origin --tags`
+
+If things go wrong (failed CI/CD pipeline, missed step...), here comes the fix process:
+
+```sh
+git tag -d old
+git push origin :refs/tags/old
+git push --tags
+```
+
+And try again!