fixed the GitHub PR branch spec