bug#51964: 29.0.50; Wishlist: It'd be nice with a pull+push command in vc-dir

[Eli Zaretskii]

> From: Juri Linkov <juri@linkov.net>
> Date: Fri, 19 Nov 2021 10:28:41 +0200
> Cc: 51964@debbugs.gnu.org
> 
> > Or perhaps more generally -- vc-git-pull could have a callback function
> > that's called after it's done, and it could be called with the status
> > (success or not) as a parameter?  Then people could write their own
> > functions to react to the aftermath of a pull.
> 
> Shouldn't the pull+push command be customizable to allow "git pull --rebase",
> especially useful in this workflow?

I think we should have a user option saying whether merge-based or
rebase-based workflow is preferred, because this affects (or
could/should affect) quite a few defaults, at least with Git.