Fix pull failure when deleted items have no internal or external name#849

isc-pbarton merged 3 commits intointersystems:mainintersystems/git-source-control:mainfrom

raymond-rebbeck:mainraymond-rebbeck/git-source-control:mainCopy head branch name to clipboard