Skip to content

Commit 1756c32

Browse files
authored
Merge pull request #104 from jhlegarreta/RemoveGitGerritPushGitSetupScript
ENH: Remove the `git-gerrit-push` script after migration to GitHub.
2 parents 93eb831 + 85518d1 commit 1756c32

File tree

1 file changed

+0
-73
lines changed

1 file changed

+0
-73
lines changed

Utilities/GitSetup/git-gerrit-push

Lines changed: 0 additions & 73 deletions
This file was deleted.

0 commit comments

Comments
 (0)