mirror of
https://github.com/f-droid/fdroidserver.git
synced 2026-10-23 04:37:43 -04:00
Don't git reset if nothing is to be done
This commit is contained in:
1 parent
898e4485c2
commit
517ce3a274
1 file changed
+2