Commit 85518d1

committed

ENH: Remove the git-gerrit-push script after migration to GitHub.

Remove the `git-gerrit-push` which is no longer useful after having migrated the repository to `GitHub`. This completes the contributions in commit 5669105.

1 parent 5c8c795 commit 85518d1Copy full SHA for 85518d1

1 file changed

+0

-73

lines changed

Utilities/GitSetup
- git-gerrit-push

1 file changed

+0

-73

lines changed

`‎Utilities/GitSetup/git-gerrit-push‎`

This file was deleted.

Comments

(0)