]> _ Git - alire.git/commit
Use GitHub API for basic checks/info during publishing (#554)
authorAlejandro R Mosteo <alejandro@mosteo.com>
Tue, 6 Oct 2020 13:58:22 +0000 (15:58 +0200)
committerGitHub <noreply@github.com>
Tue, 6 Oct 2020 13:58:22 +0000 (15:58 +0200)
commit424c124809ef639e0ad59cae8aa52f8688ae3b23
treee5a697737c493712e8f610ff7479df9d2b7f820b
parent75870afdd0ddf619e641603277c8356f6daed9a6
Use GitHub API for basic checks/info during publishing (#554)

* Use GitHub API for basic checks/info during publish

* Code review fix

* Fix: new config values unavailable during same run

New config entries were stored on disk but not added to the memory map. As the
Config.Set subprogram isn't aware of the level of configuration being set,
there is no direct way to both store to disk and to memory; instead the
solution is that the configuration is reloaded every time. This is a bit of
overkill and a candidate for later optimization.
17 files changed:
.gitmodules
alire.gpr
alr_env.gpr
deps/aaa
deps/minirest [new submodule]
src/alire/alire-config-edit.adb
src/alire/alire-config.adb
src/alire/alire-config.ads
src/alire/alire-github.adb [new file with mode: 0644]
src/alire/alire-github.ads [new file with mode: 0644]
src/alire/alire-index.ads
src/alire/alire-publish.adb
src/alire/alire-selftest.adb
src/alire/alire-utils-tty.ads
src/alire/alire-utils-user_input-query_config.adb
src/alire/alire.adb
src/alire/alire.ads