contrib: Add in the default push rule which was overridden
authorRichard Earnshaw <rearnsha@arm.com>
Mon, 13 Jan 2020 18:20:13 +0000 (18:20 +0000)
committerRichard Earnshaw <rearnsha@arm.com>
Mon, 13 Jan 2020 18:26:18 +0000 (18:26 +0000)
commitb60563a8bf18b5a49431b5913f32f5c5ff8319d9
tree494f6f50c976d3e5d7726620c753f49c5aaaa67e
parent8472660b98a31b32b7d030c2cdc4d41d326364d5
contrib: Add in the default push rule which was overridden

When we add a push rule, the default rule gets removed, so add that in
explicitly.  This needs to come last since otherwise it would match
the custom redirecting rules we have for personal and vendor
sub-spaces.

I also noticed that the push rule for the vendor subspace still had
a force push default.  We don't want that so remove it.

* gcc-git-customization.sh: Add back the default rule that
is lost by adding a custom push rule.
* git-fetch-vendor.sh: Likewise, also remove '+' from push specs.
contrib/ChangeLog
contrib/gcc-git-customization.sh
contrib/git-fetch-vendor.sh