ofborg/config.extra-known-users.json

[
    "brainrape",
    "bhipple",
    "dywedir",
    "edef1c",
    "etu",
    "Ekleog",
    "infinisil",
    "Ma27",
    "oxij",
    "pbogdan",
    "tadfisher",
    "teto",
    "ThomasMader",
    "unode",
    "va1entin",
    "xeji",
    "volth",
    "akru"
]
commit extra known user list 2018-01-28 19:17:36 +00:00			`[`
Add brainrape to config.extra-known-users Hi! I maintain Idris packages here: https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules They are not included in the main package set, so won't build automatically. I'd like to occasionally trigger some builds. Please consider adding me. Thanks! 2018-03-20 09:48:08 +00:00			`"brainrape",`
commit extra known user list 2018-01-28 19:17:36 +00:00			`"bhipple",`
Add dywedir to extra-known-users I hope it's OK... 2018-02-12 21:49:44 +00:00			`"dywedir",`
Add @edef1c to extra-known-users 2018-03-05 16:36:25 +00:00			`"edef1c",`
Add etu to config.extra-known-users 2018-04-09 18:24:11 +00:00			`"etu",`
Add ekleog to extra-known-users 2018-03-15 13:49:19 +00:00			`"Ekleog",`
Add infinisil to config.extra-known-users 2018-03-31 19:21:41 +00:00			`"infinisil",`
Add myself to the list of known users 2018-03-16 23:26:11 +00:00			`"Ma27",`
Add me to config.extra-known-users.json =^.^= 2018-03-06 15:39:04 +00:00			`"oxij",`
Merge branch 'released' into new-borg-user 2018-03-10 17:50:00 +00:00			`"pbogdan",`
Add tadfisher to extra-known-users 2018-03-19 19:05:33 +00:00			`"tadfisher",`
Added @teto as extra-known-user 2018-03-09 00:17:27 +00:00			`"teto",`
Add ThomasMader to extra-known-users 2018-03-07 17:34:34 +00:00			`"ThomasMader",`
add xeji to extra-known-users 2018-03-09 17:58:51 +00:00			`"unode",`
add va1entin to extra known users 2018-03-11 15:55:19 +00:00			`"va1entin",`
add volth to extra-known-users 2018-03-14 10:49:51 +00:00			`"xeji",`
Add akru to config.extra-known-users 2018-03-22 16:52:21 +00:00			`"volth",`
			`"akru"`
commit extra known user list 2018-01-28 19:17:36 +00:00			`]`