From 38bdb28f1f4bc80501c3a219dffb75a571f60dfe Mon Sep 17 00:00:00 2001 From: Dennis Gosnell Date: Thu, 24 Jan 2019 13:23:37 +0900 Subject: [PATCH] add cdepillabout to config.extra-known-users.json This is so I can run tests with ofborg. For instance I'd like to be able to run the tests affected by this PR: https://github.com/NixOS/nixpkgs/pull/54528 --- config.extra-known-users.json | 1 + 1 file changed, 1 insertion(+) diff --git a/config.extra-known-users.json b/config.extra-known-users.json index 6387ec3..c2f0af1 100644 --- a/config.extra-known-users.json +++ b/config.extra-known-users.json @@ -6,6 +6,7 @@ "bhipple", "bignaux", "brainrape", + "cdepillabout", "costrouc", "danieldk", "Ekleog",