create-pull-request patch confusion fixup#2

grahamc merged 1 commit intomainDeterminateSystems/propose-release:mainfrom

cpr-patch-confusionDeterminateSystems/propose-release:cpr-patch-confusionCopy head branch name to clipboard