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