Refine check if PR can be updated in version increments workflow#3159

HannesWell merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.releng.aggregator:masterfrom

HannesWell:refine-modifiability-check-of-version-increment-workflowHannesWell/eclipse.platform.releng.aggregator:refine-modifiability-check-of-version-increment-workflowCopy head branch name to clipboard