On Wed, Jan 15, 2020 at 10:48:23PM +0000, Joseph Myers wrote: > A reasonable replacement for those push rules might be command aliases > (e.g. "git upush <branch>" to push the user branch <branch>).
Would we have then separate aliases for pushing to one vendor branch and another vendor branch? Couldn't one alias determine from the branch remote and merge and perhaps the fetch rules figure out the right git push arguments given the setup (e.g. treat $(git config --get gcc-config.userpfx) and $(git config --get gcc-config.user) as push to user branch, devel/*, master, releases/* as normal git push and the rest as vendors (or let git-fetch-vendor.sh record list of all used vendors in some gcc-config setting)? Jakub