Revert "contrib: Add in the default push rule which was overridden"
authorRichard Earnshaw <rearnsha@arm.com>
Mon, 13 Jan 2020 18:37:55 +0000 (18:37 +0000)
committerRichard Earnshaw <rearnsha@arm.com>
Mon, 13 Jan 2020 18:43:28 +0000 (18:43 +0000)
commit11b81575c51c02a979588df1e06b73a6db2e38c1
tree3f837476f2ea6c54d96b35a6eef37f2f15a8ea48
parentb60563a8bf18b5a49431b5913f32f5c5ff8319d9
Revert "contrib: Add in the default push rule which was overridden"

This reverts commit b60563a8bf18b5a49431b5913f32f5c5ff8319d9.

Doesn't work as expected.
contrib/ChangeLog
contrib/gcc-git-customization.sh
contrib/git-fetch-vendor.sh