Use direct call to external tool#29

Et7f3 wants to merge 2 commits intoocaml:masterocaml/RFCs:masterfrom

Et7f3:patch-1Et7f3/RFCs:patch-1Copy head branch name to clipboard