Git is ubiquitous; in the last two decades, the version-control system has truly achieved world [...]