Pin at least [email protected]#13

peterbe wants to merge 1 commit intodanday74:masterdanday74/git-diff:masterfrom

peterbe:patch-1peterbe/git-diff:patch-1Copy head branch name to clipboard