From f9aabaf219b0c954df4cf9326159876db6a5bf03 Mon Sep 17 00:00:00 2001 From: Samuel Balco Date: Wed, 14 Aug 2024 11:29:08 +0100 Subject: [PATCH] Fix tagged commits listing for non-master branches (#123) --- src/kup/__main__.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/kup/__main__.py b/src/kup/__main__.py index b65d805..e36c6d3 100644 --- a/src/kup/__main__.py +++ b/src/kup/__main__.py @@ -59,7 +59,7 @@ GithubPackage('runtimeverification', 'kup', PackageName('kup')), GithubPackage('runtimeverification', 'k', PackageName('k')), GithubPackage('runtimeverification', 'avm-semantics', PackageName('kavm')), - GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm')), + GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'), GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')), GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')), GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol')), @@ -339,8 +339,9 @@ def list_package( if not tags.ok: rich.print('❗ Listing versions is unsupported for private packages accessed over SSH.') return + branch = f'?sha={listed_package.branch}' if listed_package.branch else '' commits = requests.get( - f'https://api.github.com/repos/{listed_package.org}/{listed_package.repo}/commits', headers=auth + f'https://api.github.com/repos/{listed_package.org}/{listed_package.repo}/commits{branch}', headers=auth ) tagged_releases = {t['commit']['sha']: t for t in tags.json()} all_releases = [