From b3d5756a0a863c0e37e8da473eb85ae5169e0e83 Mon Sep 17 00:00:00 2001 From: nullgemm Date: Thu, 9 Dec 2021 17:58:23 +0100 Subject: [PATCH] remove git remote helper --- makefile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/makefile b/makefile index 3d0b36f..1daeb35 100644 --- a/makefile +++ b/makefile @@ -105,11 +105,6 @@ clean: @rm -rf $(BIND) $(OBJD) valgrind.log @(cd $(SUBD)/termbox_next && $(MAKE) clean) -remotes: - @echo "registering remotes" - @git remote add github git@github.com:nullgemm/$(NAME).git - @git remote add gitea ssh://git@git.nullgem.fr:2999/nullgemm/$(NAME).git - gitea: github github: @echo "sourcing submodules"