Add check for pull requests (GitHub action)#892

stweil wants to merge 1 commit intoOCR-D:masterOCR-D/core:masterfrom

stweil:cistweil/ocrd_core:ciCopy head branch name to clipboard