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

133 commits

Author SHA1 Message Date
tilpner b5d2da93e9
Add tilpner to extra-known-users 2018-12-01 01:06:32 +01:00
Graham Christensen 9bbfdc7f89
Merge pull request #279 from alyssais/trust_alyssais 
Move alyssais to trusted users
 2018-11-27 21:24:19 -05:00
Will Fancher fb36bbff6f Add ElvishJerricco to extra-known-users 2018-11-27 21:21:25 -05:00
Alyssa Ross f725a39854
Move alyssais to trusted users 
As discussed on IRC.
 2018-11-27 19:39:40 +00:00
Graham Christensen 76f2d88431
Merge pull request #277 from Gerschtli/extra-known-users-gerschtli 
Add Gerschtli to extra-known-users
 2018-11-26 09:03:04 -05:00
Graham Christensen d2f115f274
Merge pull request #272 from Moredread/patch-1 
Add Moredread to extra-known-users
 2018-11-26 09:02:42 -05:00
Tobias Happ e84eaf5b5d Add Gerschtli to extra-known-users 2018-11-25 20:25:59 +01:00
André-Patrick Bubel 00f0762233
Add Moredread to extra-known-users 2018-11-19 15:31:53 +01:00
Johannes Frankenau ee46512f13 Add jfrankenau to extra-known-users 2018-11-15 15:31:11 +01:00
Graham Christensen c6f4b44888
Merge branch 'released' into released 2018-10-31 11:56:31 +01:00
Graham Christensen 74bd9f766c
Merge branch 'released' into patch-1 2018-10-31 11:55:20 +01:00
Graham Christensen b5f95f4650
Merge pull request #262 from geistesk/extra-known-users-geistesk 
Add geistesk to extra-known-users
 2018-10-31 11:54:59 +01:00
Graham Christensen 4263b1eac8
Merge pull request #257 from danieldk/add-danieldk 
Add danieldk to extra-known-users
 2018-10-31 11:54:22 +01:00
Graham Christensen 319fff49d0
Merge pull request #260 from bbarker/patch-1 
Add bbarker to extra-known-users
 2018-10-31 11:53:29 +01:00
Graham Christensen 178d1fd4c9
Merge pull request #263 from yesbox/yesbox 
extra-known-users addition
 2018-10-31 11:53:11 +01:00
aanderse e6819c4b3f
Add aanderse to extra-known-users.json 2018-10-28 12:16:31 -04:00
yesbox cd732cbeb2 extra-known-users addition 2018-10-28 12:48:13 +01:00
geistesk b8045dd569 Add geistesk to extra-known-users 2018-10-28 11:11:25 +01:00
Brandon Elam Barker d541d7da93
Add bbarker to extra-known-users 
I'd like to be able to trigger builds in order to expedite the PR review process, see e.g. https://github.com/NixOS/nixpkgs/pull/48877

Thanks!
 2018-10-24 14:25:10 -04:00
Daniël de Kok ccf050218c Add danieldk to extra-known-users 2018-10-23 11:57:41 +02:00
Jörg Thalheim a7bafa58cf
move Ma27/markuskowa/dywedir to trusted users 2018-10-23 09:37:13 +01:00
Arian van Putten 346649f490
Add me to extra known users 2018-10-23 00:06:52 +02:00
Graham Christensen 9c352ff355
Merge pull request #254 from alyssais/patch-1 
Add alyssais to extra-known-users
 2018-10-17 18:46:26 -04:00
Alyssa Ross 5b0cacb2ef
Add alyssais to extra-known-users 2018-10-17 22:01:01 +00:00
Justin Humm 02a5a48063
add erictapen to known users 2018-10-16 01:39:43 +02:00
Graham Christensen 1657fc4bd0
Merge pull request #242 from eqyiel/released 
Add eqyiel to extra-known-users
 2018-10-15 14:55:56 -04:00
Graham Christensen 64f80b7d43
Merge pull request #243 from tomberek/released 
Add tomberek to extra-known-users
 2018-10-15 14:55:47 -04:00
Graham Christensen 4a6cc66a4a
Merge pull request #244 from plapadoo/add-pmiddend 
add pmiddend to extra-known-users
 2018-10-15 14:55:40 -04:00
Graham Christensen 25afbf0492
Merge pull request #246 from costrouc/costrouc/add-costrouc-known-extra 
Add costrouc to extra-known-users
 2018-10-15 14:55:27 -04:00
Graham Christensen b6ca0d180e
Merge pull request #247 from erikarvstedt/patch-2 
Add erikarvstedt to extra-known-users
 2018-10-15 14:55:19 -04:00
Graham Christensen f897e6f8a5
Merge pull request #249 from lschuermann/released 
Add lschuermann to extra-known-users
 2018-10-15 14:55:10 -04:00
florianjacob 246c3cb683
Add florianjacob to extra-known-users.json 2018-10-15 17:15:39 +02:00
Leon Schuermann dd67a2d839 Add lschuermann to extra-known-users 2018-10-14 12:43:27 +02:00
erikarvstedt 1972755bb6
Add erikarvstedt to extra-known-users 2018-10-12 19:22:08 +02:00
Chris Ostrouchov f5d7b9c581
Add costrouc to extra-known-users 2018-10-11 14:24:57 -04:00
Philipp Middendorf 42d54bf36e add pmiddend to extra-known-users 2018-10-05 09:43:30 +02:00
Tom Bereknyei 8a67369e9b
Add tomberek to extra-known-users 2018-10-02 21:57:19 -04:00
Ruben Maher acf0f77a98 Add eqyiel to extra-known-users 2018-09-25 08:05:09 +09:30
worldofpeace b200b84854
Add worldofpeace to extra-known-users 2018-09-18 18:27:45 +00:00
Jaakko Luttinen 14c0e2545f
Add jluttine to extra-known-users 2018-09-12 22:11:34 +03:00
Sebastien Maret dc8d6f1e8a Add smaret to extra-known-users 2018-09-06 18:22:05 +02:00
Graham Christensen 0ac1d854c7
Merge pull request #225 from markuskowa/released 
Add markuskowa to known users
 2018-08-31 16:31:47 -04:00
Markus Kowalewski 4b21eecd44 extra-known-users: add markuskowa 2018-08-27 12:32:28 +02:00
Bignaux Ronan 97f2fc18e2
Add bignaux to extra-known-users 2018-08-24 16:19:58 +02:00
Silvan Mosberger 5c60c522c7
Move infinisil to trusted_users 2018-08-18 18:25:51 +02:00
Michael Hoang 1aafd335de Add Enzime to extra-known-users 2018-08-18 01:19:38 +10:00
Graham Christensen f416f8f30c
Add three people, closes #222 closes #217 closes #200 2018-08-17 07:45:56 -04:00
Francesco Gazzetta 60342d9734
Add fgaz to extra-known-users 2018-08-15 15:02:48 +02:00
Wael Nasreddine 6255f48f00
Add kalbasit to config.extra-known-users.json 
I'd like to help review outstanding PRs as well as speed up my own.
 2018-07-24 10:42:49 -07:00
Samuel Dionne-Riel 49123decff
Adds samueldr to config.extra-known-users.json 
I hope to help with nixpkgs PRs.
 2018-07-06 21:26:09 -04:00
Eric Bailey 89c7249684
Add yurrriq to config.extra-known-users 2018-05-15 13:01:17 -05:00
Graham Christensen 0915000eb7
Merge pull request #173 from knedlsepp/add-knedlsepp 
Add knedlsepp to config.extra-known-users
 2018-05-09 17:37:43 -04:00
Patrick Hilhorst b9edceadf4
Add myself to config.extra-known-users 2018-05-07 23:35:45 +02:00
Josef Kemetmüller 3ba7d259ac Add knedlsepp to config.extra-known-users 2018-05-06 21:38:16 +02:00
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