HomePhabricator

ci: changing path for .git directory

Description

ci: changing path for .git directory

Details

Provenance
galmonteAuthored on Nov 1 2022, 4:31 PM
galmontePushed on Nov 1 2022, 4:34 PM
Differential Revision
D548: ci: changing path for .git directory
Parents
rBLD11e2928a6c7d: ci: set git global config
Branches
Unknown
Tags
Unknown