Re: [patch] contrib: Don't add push rules for personal and vendor spaces.

[Jason Merrill]

On Wed, Jan 15, 2020 at 5:56 PM Joseph Myers <jos...@codesourcery.com>
wrote:

> A reasonable replacement for those push rules might be command aliases
> (e.g. "git upush <branch>" to push the user branch <branch>).
>

And/or git mpush for push origin HEAD:master

Jason