]> _ Git - alire.git/commit
New `alr publish --cancel` (#1406)
authorAlejandro R Mosteo <amosteo@unizar.es>
Tue, 25 Jul 2023 10:21:13 +0000 (12:21 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2023 10:21:13 +0000 (12:21 +0200)
commitf8447ca35f110a4994c620f3607388a5bda81a81
treeb1ba6dd30fb5fc405efb2397ddfc3ebe755ef6fb
parent0476f41d9ac754eb6ba2a78ac20dfc615d6e51d0
New `alr publish --cancel` (#1406)

* New `alr publish --cancel <num> --reason <text>`

* Added JSON escaping

* Update alire.toml pins

* user-changes.md: new `--status`, `--cancel` switches
alire.toml
deps/gnatcoll-slim
deps/minirest
doc/user-changes.md
src/alire/alire-github.adb
src/alire/alire-github.ads
src/alire/alire-publish-states.adb
src/alire/alire-publish-states.ads
src/alr/alr-commands-publish.adb
src/alr/alr-commands-publish.ads
src/alr/alr-commands.ads