Accommodate for pu having been renamed to seen#668

dscho wants to merge 3 commits intogitgitgadget:maintgitgitgadget/git:maintfrom

dscho:accommodate-for-pu-having-been-renamed-to-seendscho/git:accommodate-for-pu-having-been-renamed-to-seenCopy head branch name to clipboard