Commit graph

21 commits

Author SHA1 Message Date
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
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