I stopped using `git-remote-hg`

All repositories migrated long ago.

diff --git a/pull-usrlocalsrc b/pull-usrlocalsrc
index 2fb2f2f302b04640949acde416184096d7db4f24..f3ce96b671e39e175692c897fa509fe82c7ef307 100755 (executable)
--- a/pull-usrlocalsrc
+++ b/pull-usrlocalsrc
@@ -1,7 +1,5 @@
 #! /bin/sh
 
-PATH=/usr/local/src/Python/git-remote-hg:$PATH
-
 has_remote() {
    git remote show "$1" >/dev/null 2>&1
 }