Skip to content
Snippets Groups Projects
  • Richard Earnshaw's avatar
    b60563a8
    contrib: Add in the default push rule which was overridden · b60563a8
    Richard Earnshaw authored
    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.
    b60563a8
    History
    contrib: Add in the default push rule which was overridden
    Richard Earnshaw authored
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.