hotformathCLI/.git git