GitHub policy change for PRs