diff options
author | Luke Granger-Brown <git@lukegb.com> | 2020-11-29T03·34+0000 |
---|---|---|
committer | lukegb <lukegb@tvl.fyi> | 2020-11-29T11·50+0000 |
commit | 1409b9c37b671939c1572ca741c0d8e434afae6c (patch) | |
tree | e970630e8491848df22c818c326dfb7709b61819 /third_party/immer | |
parent | b344ae8783329b646b06240f3146d82ae25801f7 (diff) |
feat(gerrit-update): Add helper script for updating Gerrit schema r/1960
I've been running a script similar to this after doing Gerrit version bumps to make sure the schema is up to date, but in the spirit of making sure someone other that myself can do this task I'm formalising it into the depot, where I should've put it in the first place. Change-Id: I50a198e798e2ff26989b01e4bdd0571d85ab62aa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2203 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'third_party/immer')
0 files changed, 0 insertions, 0 deletions