Skip to content

fix(push): report a bad target instead of a traceback (0.25.1) - #187

Merged
johnyaku merged 1 commit into
mainfrom
fix/push-bad-target
Aug 25, 2026
Merged

fix(push): report a bad target instead of a traceback (0.25.1)#187
johnyaku merged 1 commit into
mainfrom
fix/push-bad-target

Commits

  1. Commits on Aug 25, 2026