disallow --release=dev

dev releases don't work like other kinds of releases, they would
have to be implemented as a different kind of part.
This commit is contained in:
Manuel Barkhau 2020-10-03 17:57:58 +00:00
parent e2b274a7bf
commit 4c8c9b128a
3 changed files with 2 additions and 3 deletions

View file

@ -13,6 +13,7 @@
- Fix gitlab #8: Push tags only pushed tags, not actual commit.
- Fix gitlab #9: Make commit message configurable.
- Fix gitlab #11: Show regexp when `--verbose` is used.
- Fix: Disallow `--release=dev` which has different semantics than other release tags.
- Switch main repo from gitlab to github.