2024-04-19 - releng
15:06	<hashar>	gerrit: on https://gerrit.wikimedia.org/g/design/codex , deleted tag `1.3.0` (was same as v1.3.0). Requested by Volker	[releng]