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

92 commits

Author SHA1 Message Date
Graham Christensen 2318765308
Merge remote-tracking branch 'origin/released' into next 2018-05-03 21:50:31 -04:00
Graham Christensen 87304afc7b
Merge pull request #165 from gilligan/gilligan-trusted-user 
Add gilligan to trusted users
 2018-05-03 21:48:21 -04:00
WilliButz 3e148d91b5
add willibutz to trusted users 2018-05-03 16:14:02 +02:00
Tobias Pflug 483258f19d
Add gilligan to trusted users 2018-04-26 18:04:41 +02:00
Timo Kaufmann 4e97ff8796 Add timokau to trusted users 2018-04-12 11:08:28 +02:00
Graham Christensen 3d81ba6d9f
Merge remote-tracking branch 'origin/released' into next 2018-04-10 19:11:45 -04:00
Frederik Rietdijk b0fc318c36 Add stdenv tag 2018-04-10 19:35:50 +02:00
Corey O'Connor d3c21bd8a3 add coreyoconnor to trusted users 2018-04-05 14:12:04 -07:00
obadz f6172c8497 add obadz to trusted users 2018-03-31 20:38:47 +01:00
Ryan Mulligan 3f0e68c25a
add r-ryantm to trusted users 
I'm moving my nixpkgs update bot over to this account.
 2018-03-30 08:00:35 -07:00
Matthew Justin Bauer 8bbd7a101e
Add to truested_users 2018-03-17 12:52:12 -05:00
Alexey Shmalko c53f285714
Put rasendubi in the trusted-users 2018-03-13 20:20:04 +02:00
Matthias Beyer 3d78947339
Put myself in the trusted-users 2018-03-12 17:50:09 +01:00
Michael Bishop aa55d26a43
add cleverca22 to trusted users 2018-03-11 12:49:41 -03:00
Nikolay Amiantov 0120ea8bc0
Add abbradar to trusted_users 2018-03-10 16:47:12 +03:00
Lassulus c848fb74bf
add lassulus to config.public.json 2018-03-08 23:03:07 +01:00
Graham Christensen 716c8c592a
Merge remote-tracking branch 'origin/next' into released 2018-03-05 07:42:12 -05:00
Graham Christensen 7a7d99bfda
Add some little support for other repos for testing 2018-03-05 07:38:52 -05:00
rnhmjoj d8ef8131e1
fix stray tab character 2018-03-01 20:41:49 +01:00
rnhmjoj 5abb05ba7a
add rnhmjoj to config.public.json 2018-03-01 20:37:21 +01:00
Graham Christensen 71f63ef0fd
Document known vs. trusted users and their implicatinos 2018-03-01 12:58:19 -05:00
José Romildo Malaquias d6787a0923
Add romildo to config.public.json 2018-03-01 12:58:19 -05:00
José Romildo Malaquias 057da2b8a2 Add romildo to config.public.json 2018-02-28 17:04:38 -03:00
Graham Christensen 69b7a315ef
Merge remote-tracking branch 'origin/released' 
into next
 2018-02-25 16:13:59 -05:00
Ryan Mulligan 7e7adf513e
add ryantm to config.public.json 2018-02-25 13:03:42 -08:00
Daiderd Jordan 510b91d807
mark vim-plugins changes with vim topic 2018-02-25 17:40:36 +01:00
Graham Christensen f6289be861
Add repos to the public config 2018-02-23 21:45:18 -05:00
Graham Christensen c5464b6406
Merge remote-tracking branch 'origin/released' into next 2018-02-23 16:34:20 -05:00
Florian Klink aa50a070ab add flokli to config.public.json 2018-02-23 21:27:05 +01:00
Graham Christensen 0fe4534e62
Merge remote-tracking branch 'origin/released' into next 2018-02-21 19:22:26 -05:00
Felix Richter 7ccd460b26
add makefu to config.public.json 
I'd love to join the swarm
 2018-02-21 15:34:11 +01:00
Daiderd Jordan 6c21811f01
config: remove darwin topic paths 
This is not accurate enough, causing the label to be removed for all
other darwin related changes.
 2018-02-20 20:22:11 +01:00
Graham Christensen 26e33371a5
update users 2018-02-18 18:13:49 -05:00
Graham Christensen 70b55fba42
evaluator: bump the initial heap size to 4g 2018-02-08 10:07:23 -05:00
Graham Christensen 65001469c4
Allow edolstra and ericson to call ofborg as trusted users 2018-02-08 10:05:07 -05:00
Frederik Rietdijk 8398a19a3d remove trailing comma's 2018-02-03 20:14:38 +01:00
Frederik Rietdijk 20d5104aa8 Extra paths for tags 2018-02-03 19:58:07 +01:00
Peter Simons 278adec6ce
Configure auto-tagging for Haskell 2018-02-03 19:21:21 +01:00
Graham Christensen 5f12e4b29c
auto-tag erlang 2018-02-03 12:57:03 -05:00
Graham Christensen de179794cb
Tag PRs based on paths they touch 2018-02-03 11:27:09 -05:00
Graham Christensen d78e7201f1
add dtzwill 2018-01-31 21:11:54 -05:00
Graham Christensen 1326fdbe33
Commit most of the prod config 
Include tools for generating the known user
list, and a thing to allow me to keep secrets
out of the main config while still keeping
almost exactly my config in version control
nearby.
 2018-01-27 08:15:43 -05:00