diff options
author | Luke Granger-Brown <hg@lukegb.com> | 2020-07-26T12·51+0100 |
---|---|---|
committer | lukegb <lukegb@tvl.fyi> | 2020-07-27T00·00+0000 |
commit | e780435d09207b84dff49c870e875ad3f052b2fe (patch) | |
tree | bf219d90d330f186eca378ea63e7d0b88d4aed74 /net/mushroom | |
parent | 2b7fe6f95769a134f55f277f7d5575530467babd (diff) |
chore(3p/gerrit_plugins): add machinery for compiling Gerrit plugins from source r/1488
This looks particularly obnoxious for the owners plugin, because it's actually two plugins with a common library in the same repo. Other plugins are much cleaner to deal with (hence the default for overlayPluginCmd). Change-Id: Ibb9588c8a29b63e8509436fcbb70054e89349712 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1461 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'net/mushroom')
0 files changed, 0 insertions, 0 deletions