danderson/ofborg
0
0
Fork 0
forked from the-distro/ofborg
Code Pull requests Activity
766 commits 1 branch 0 tags 2.6 MiB
Commit graph

79 commits

Author SHA1 Message Date
Graham Christensen 92039157f4
Merge pull request #166 from jlesquembre/patch-1 
Asking for ofborg access
 2018-05-03 21:48:12 -04:00
Frank Doepper edc8d0a1b9 add myself to config.extra-known-users 
- as suggested by @Mic92 in #39569
- and sort ;-)
 2018-04-27 11:45:21 +02:00
José Luis Lafuente a50f10477f
Asking for ofborg access 
As suggested here: https://github.com/NixOS/nixpkgs/pull/39568#issuecomment-384896678
 2018-04-27 10:36:17 +02:00
Elis Hirwing d4f4abc460
Add etu to config.extra-known-users 2018-04-09 20:24:11 +02:00
Silvan Mosberger cf556ceee6
Add infinisil to config.extra-known-users 2018-03-31 21:21:41 +02:00
Graham Christensen 1c94eedf0c
Merge pull request #138 from tadfisher/patch-1 
Add tadfisher to extra-known-users
 2018-03-27 15:17:38 -04:00
Graham Christensen cf4309bd79
Merge pull request #139 from brainrape/patch-1 
Add brainrape to config.extra-known-users
 2018-03-27 15:17:27 -04:00
Alexander Krupenkin 8a4b1b84ba
Add akru to config.extra-known-users 2018-03-22 19:52:21 +03:00
Márton Boros 4d7338f71a
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 10:48:08 +01:00
Tad Fisher bf9687b3b1
Add tadfisher to extra-known-users 2018-03-19 12:05:33 -07:00
Graham Christensen ef7461d071
Merge branch 'released' into add-ma27-to-extra-known-users 2018-03-17 08:01:33 -04:00
Graham Christensen b2690aaa39
Merge pull request #121 from Ekleog/released 
Add ekleog to extra-known-users
 2018-03-17 08:01:00 -04:00
Maximilian Bosch b00ab5a796
Add myself to the list of known users 2018-03-17 00:26:11 +01:00
Léo Gaspard b2ee190d91
Add ekleog to extra-known-users 2018-03-15 14:49:19 +01:00
volth 9edae204f1
add volth to extra-known-users 2018-03-14 10:49:51 +00:00
Valentin Heidelberger 0ee10e4d11 add va1entin to extra known users 2018-03-11 16:55:19 +01:00
Graham Christensen 195c244787
Merge branch 'released' into new-borg-user 2018-03-10 12:50:00 -05:00
xeji 40b9f540f0 add xeji to extra-known-users 2018-03-09 18:58:51 +01:00
Piotr Bogdan 7078e1b6e5 Add pbogdan to extra-known-users 2018-03-09 14:33:17 +00:00
Graham Christensen 28010148d3
Merge branch 'released' into released 2018-03-09 08:32:41 -05:00
Matthieu Coudron afbded8e6e Added @teto as extra-known-user 2018-03-09 09:17:27 +09:00
Thomas Mader 8ede0e9e21 Add ThomasMader to extra-known-users 2018-03-07 18:34:34 +01:00
Jan Malakhovski 9b85bf46ea
Add me to config.extra-known-users.json 
=^.^=
 2018-03-06 15:39:04 +00:00
edef 8ce96e79f0 Add @edef1c to extra-known-users 2018-03-05 11:36:25 -05:00
Graham Christensen 71f63ef0fd
Document known vs. trusted users and their implicatinos 2018-03-01 12:58:19 -05:00
Graham Christensen 26e33371a5
update users 2018-02-18 18:13:49 -05:00
Vlad Myhajličenko e69071c0ae
Add dywedir to extra-known-users 
I hope it's OK...
 2018-02-12 23:49:44 +02:00
Antoine Eiche e112ff8b05 Add nlewo to extra-known-users 2018-02-12 09:18:40 +01:00
Graham Christensen 4ff479cafd
commit extra known user list 2018-01-28 14:17:36 -05:00