diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-06-18 14:16:13 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-06-18 14:18:57 -0700 |
| commit | 55656c1c6bab2b48c8e521d62dd2848e261141a4 (patch) | |
| tree | ed91fa7780e472f52ddcd29704efb670b41e0618 /.envrc | |
| parent | feat(ipconverter): install the tool with my other packages (diff) | |
| download | world-55656c1c6bab2b48c8e521d62dd2848e261141a4.tar.gz | |
ref(gerrit): add the plugin to delete projects
I need to remove some repositories I created by mistake, this will make it easier than messing up with the database. Change-Id: Ia9357226532fe943d15eaec43413502849e39d3d Reviewed-on: https://cl.fcuny.net/c/world/+/444 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions