build-devtoolbox: Install GitHub CLI
authorMartin Pitt <martin@piware.de>
Tue, 12 May 2020 18:06:17 +0000 (20:06 +0200)
committerMartin Pitt <martin@piware.de>
Tue, 12 May 2020 18:06:17 +0000 (20:06 +0200)
commitdd290ccf63870b62ba6d8402217fd2dba08fb675
tree083a38d4491509613fa852da70bced0e6cdc0d4d
parent7a94bbb3ba3cccc35a39f413efe77b6da4b1a1bc
build-devtoolbox: Install GitHub CLI
build-devtoolbox