search

locationtech / geogig

GeoGig project
Other
402 stars 80 forks source link

Bug/pull nothing to fetch #461

Closed groldan closed 6 years ago

groldan commented 6 years ago

fix pull not doing anything when refs are already up-to-date