Sameen Karim d1e9d14136 run fetch before push operations (#75) ...

* run fetch before push operations

* ignore if ref doesn't exist on remote

* rm fetch from link

* more durable fetch by trying all first and falling back to individual fetches

* run fetch before sync

2026-05-11 11:09:30 -04:00

7.5 KiB

Raw Permalink Blame History

View Raw