sourcephile / git / sourcephile-nix.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e7a3971)
gitolite: update
authorJulien Moutinho <julm@sourcephile.fr>
Mon, 1 Jun 2020 02:56:18 +0000 (04:56 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Mon, 1 Jun 2020 02:56:18 +0000 (04:56 +0200)
servers/mermet/gitolite patch | blob | history

diff --git a/servers/mermet/gitolite b/servers/mermet/gitolite
index 2fa965c111e9f4032cad70a0f737142d11ab6c80..0de726cb5a7d25a9865052dfb7bf7829a5899e66 160000 (submodule)
--- a/servers/mermet/gitolite
+++ b/servers/mermet/gitolite
@@ -1 +1 @@
-Subproject commit 2fa965c111e9f4032cad70a0f737142d11ab6c80
+Subproject commit 0de726cb5a7d25a9865052dfb7bf7829a5899e66
NixOS configurations for Sourcephile's infrastructure