]> _ Git - alire.git/commit
New `alr publish --request-review` (#1409)
authorAlejandro R Mosteo <amosteo@unizar.es>
Thu, 27 Jul 2023 10:59:53 +0000 (12:59 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2023 10:59:53 +0000 (12:59 +0200)
commitde81d7281ade84c782d2f4074d410d62f9738f1b
tree6ac5bfa61320a71c950afd4959e67aba26800864
parentf8447ca35f110a4994c620f3607388a5bda81a81
New `alr publish --request-review` (#1409)

* Descriminate more PR states

Only missing is when there are changes requested

* Colored states

* Fixed review evaluation

* New `alr publish --request-review`

* Document new feature in user visible changes

* Self-review
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