gitolite-admin

commit 9628c7ef7ca01a2827a55165a44a82a9b6aab186
parent b9897a8862dcc2c9eeaf11bb58c1afbccc2b7f98
Author: Michael Savage <mikejsavage@gmail.com>
Date:   Thu,  9 May 2019 13:34:09 +0300

Merge mike-windows with mike, delete mike-umbra keys

Diffstat:
M
conf/gitolite.conf
 | 
4
----
D
keydir/mike-umbra.pub
 | 
1
-
D
keydir/mike-windows.pub
 | 
1
-
A
keydir/windows/mike.pub
 | 
1
+

4 files changed, 1 insertion(+), 6 deletions(-)
diff --git a/conf/gitolite.conf b/conf/gitolite.conf
@@ -4,14 +4,12 @@ repo gitolite-admin
 
 repo medfall
 	RW+ = mike
-	RW+ = mike-windows
 	R = daemon
 	option hook.post-receive = stagit
 	config gitweb.description = "A super great game engine"
 
 repo mudgangster
 	RW+ = mike
-	RW+ = mike-windows
 	R = daemon
 	option hook.post-receive = stagit
 	config gitweb.description = "Tiny, scriptable MUD client"
@@ -41,8 +39,6 @@ repo pdb
 
 repo dotfiles
 	RW+ = mike
-	RW+ = mike-windows
-	R = mike-umbra
 	R = daemon
 
 repo hirveserv-wiki
diff --git a/keydir/mike-umbra.pub b/keydir/mike-umbra.pub
@@ -1 +0,0 @@
-ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIF/+VBsFmCZWOaCSLe+2LN9e7gxK2hu3tbJYQWwNkHoZ root@DROP-TABLE-pcs
diff --git a/keydir/mike-windows.pub b/keydir/mike-windows.pub
@@ -1 +0,0 @@
-ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIL3h9HCv6bPkTWUpsW6xHOCto21vhjdbf8iI7gxypfEP mike@mike-PC
diff --git a/keydir/windows/mike.pub b/keydir/windows/mike.pub
@@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIL3h9HCv6bPkTWUpsW6xHOCto21vhjdbf8iI7gxypfEP mike@wsl