···118118 if name:
119119 res.append(name)
120120 json.dump(res, sys.stdout)
121121- case _:
122122- sys.exit("github result was not a list of repos")
121121+ case other:
122122+ sys.exit(f"github result was not a list of repos, but {other}")
123123 case _:
124124 sys.exit("input json must have `orga` key")
125125