Learn more about these different git repos.
Other Git URLs
94cf146
@@ -6339,6 +6339,7 @@
last_repo = None
while True:
+ taginfo = self.session.getTag(tag, strict=True)
repo = self.session.getRepo(taginfo['id'])
if repo and repo != last_repo:
if builds:
call getTag with strict=True to raise error if tag is deleted
Fixes: https://pagure.io/koji/issue/2414
Change-Id: I412de24654956216b22233e3e56c0b7ad741f6c8 Signed-off-by: Clément Bénier clement.benier@iot.bzh
I've caught the traceback and transformed to more readable error: #2417
Pull-Request has been closed by tkopecek
benierc
commented 3 years ago
call getTag with strict=True to raise error if tag is deleted
Fixes: https://pagure.io/koji/issue/2414
Change-Id: I412de24654956216b22233e3e56c0b7ad741f6c8
Signed-off-by: Clément Bénier clement.benier@iot.bzh