km@km-pt ~/p/tool-wikitext-deprecation> git pull fatal: repository 'https://phabricator.wikimedia.org/source/tool-wikitext-deprecation.git/' not found (1) km@km-pt ~/p/tool-wikitext-deprecation> git remote -v origin https://phabricator.wikimedia.org/source/tool-wikitext-deprecation.git (fetch) origin https://phabricator.wikimedia.org/source/tool-wikitext-deprecation.git (push)
That URL definitely used to work. One of my other tool repositories has the same format URL that still works:
km@km-pt ~/p/tool-ci> git remote -v origin https://phabricator.wikimedia.org/source/tool-ci.git (fetch) origin https://phabricator.wikimedia.org/source/tool-ci.git (push) km@km-pt ~/p/tool-ci> git pull Already up-to-date.