Push without synchronous sync operation
I would expect it to be possible to push without syncing if I can also push while offline and achieve a similar effect. Is there some kind of flag that lacks discoverability that would allow me to do this?
It would be nice in a case where I'm updating many repos at once to improve the speed of my workflow and be able to defer the sync operation to later (or just allow the daemon to lazily sync).
When using git push, you can pass a push-option to tell it not to
sync, i.e.
git push rad <branch> -o no-sync
For rad commands that sync -- such as rad patch and rad issue --
there is a --no-sync flag.