Alexis Sellier 4176d62e38 remote-helper: Add no-sync push option ...

This is mainly useful for scripting, when for eg. you want to push
multiple things and sync only once, at the end.

2023-05-25 10:07:02 +02:00

..

git-pull.md

cli: Use git push to open or update patches

2023-05-12 12:22:08 +02:00

git-push-delete.md

cli: Use git push to open or update patches

2023-05-12 12:22:08 +02:00

git-push.md

remote-helper: Add no-sync push option

2023-05-25 10:07:02 +02:00