Closed SnarkBoojum closed 2 years ago
Just use master...?
Hum, no:
Notice that I'm not asking for anything unreasonably difficult: git tag 20220722
(then git push --tags
, of course) is mostly what this is about...
Like in other projects, PRs must function as a whole. If there's a dependency, they belong into the same PR (or: set of commits). Anything else is improper development. After all this is the master branch which must be kept in a usable stable.
Anyway, I pushed the new tag. Please open an issue when this happens the next time.
The last released and only version was 1.0 more than four years ago.