Version-check: allow checkout of PR head SHA#3938

MohananRahul merged 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.releng.aggregator:masterfrom

MohananRahul:UpWFVerMohananRahul/eclipse.platform.releng.aggregator:UpWFVerCopy head branch name to clipboard