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