Hog 2023.1: a collaborative management tool to handle Git-based HDL repository. - Nicolo Vladi Biesuz; Rimsky Caballero; Davide Cieri; Nico Giangiacomi; Francesco Gonnella; Guillermo Loustau De Linares; Andrew Peck (CoRR, 2023)