chore(CI): correct permissions for issue labeler

[chenjiahan]

Summary

1. Since the pr-labeler workflow adds labels to pull requests, it needs the pull-requests: write permission.

2. The GitHub issue types work well and we can remove the issue label to reduce duplicated information.

Related Links

https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/controlling-permissions-for-github_token#overview

Checklist

• Tests updated (or not required).
• Documentation updated (or not required).

[codspeed-hq]

CodSpeed Performance Report

Merging #596 will not alter performance

_{Comparing update_github_config_1224 (95d55b9) with main (4416f02)}

Summary

✅ 5 untouched benchmarks