Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dynamic completion: complete
jj git push {-r,-c}
I had to guess whether to complete all revisions or just mutable ones. I'm guessing that `-r` is sometimes used with immutable revisions (as part of a revset, or for creating special-purpose branches), while `-c` is almost always used to push a mutable revision. We can change it later if my guess is wrong.