From 877f7bf7a17f44bd17dd1f0bbfd88abdab67ad72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Wed, 4 Oct 2023 15:25:35 +0200
Subject: Hardcode ssh keys for normal login

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d179acf..d9c1892 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,9 @@ nur:
 	./scripts/make-nur
 	curl -o /dev/null -XPOST "https://nur-update.herokuapp.com/update?repo=immae"
 
+push_remote:
+	git push origin $$(stg id {base}):master
+
 shellcheck:
 	shellcheck scripts/* deploy/scripts/* modules/private/gitolite/gitolite_ldap_groups.sh modules/private/ssh/ldap_authorized_keys.sh modules/private/pub/restrict
 
-- 
cgit v1.2.3