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