[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lmi-commits] [lmi] master 94bdd24 4/5: Restrict a particular gnu.org ac
From: |
Greg Chicares |
Subject: |
[lmi-commits] [lmi] master 94bdd24 4/5: Restrict a particular gnu.org account to its owner |
Date: |
Tue, 7 Jul 2020 16:48:25 -0400 (EDT) |
branch: master
commit 94bdd241656408e7080921b9c8c4ac602a106174
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>
Restrict a particular gnu.org account to its owner
---
lmi_setup_43.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/lmi_setup_43.sh b/lmi_setup_43.sh
index 299ca42..a60f5f8 100755
--- a/lmi_setup_43.sh
+++ b/lmi_setup_43.sh
@@ -36,7 +36,9 @@ ln --symbolic --force --no-dereference ../hooks .git
# Iff this chroot needs write access to savannah, then reconfigure
# the URL, using your savannah ID instead of mine:
-git remote set-url --push origin chicares@git.sv.gnu.org:/srv/git/lmi.git
+if [ "greg" = "$(whoami)" ]; then
+ git remote set-url --push origin chicares@git.sv.gnu.org:/srv/git/lmi.git
+fi
# Duplicate proprietary repository (if available).
# First, copy "blessed" repository (here, 'cp' is sufficient: this