From 1f066ca6ca4634a7478cb5b104b508244e1a1a7a Mon Sep 17 00:00:00 2001 From: Hugo Osvaldo Barrera Date: Tue, 6 Apr 2021 18:39:34 +0200 Subject: [PATCH] Remove unused Makefile target --- Makefile | 8 -------- 1 file changed, 8 deletions(-) diff --git a/Makefile b/Makefile index f24510f..6f7b7a1 100644 --- a/Makefile +++ b/Makefile @@ -116,12 +116,4 @@ install-dev: pip install -U --force-reinstall $$(python setup.py --quiet minimal_requirements); \ fi -ssh-submodule-urls: - git submodule foreach "\ - echo -n 'Old: '; \ - git remote get-url origin; \ - git remote set-url origin \$$(git remote get-url origin | sed -e 's/https:\/\/github\.com\//git@github.com:/g'); \ - echo -n 'New URL: '; \ - git remote get-url origin" - .PHONY: docs