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
