* Mike Miller <mtmiller@debian.org> [2018-02-24 10:49]:
On Sat, Feb 24, 2018 at 19:23:03 +0100, Julien Bect wrote:My version of gbp does not have the "push" command. I assume that this is because I am on Debian stable (stretch) ?I didn't know about this command until now. But yes, looks like it was added in 0.9.0.If you don't have any additional local branches, git push --all should be equivalent.
Besides the fact that gbp push also pushes the tags. Rafael