Makefile: don't run git checkout on behalf of the user#1630
Closed
dmerejkowsky wants to merge 1 commit into
Closed
Makefile: don't run git checkout on behalf of the user#1630dmerejkowsky wants to merge 1 commit into
git checkout on behalf of the user#1630dmerejkowsky wants to merge 1 commit into
Commits
Commits on Jun 22, 2021
- authored andcommitted
