lmi-commits
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]