Create issue in Linear for new GitHub pull request from specific user, and update pull request

Create new issues in Linear when a specific user opens a pull request in GitHub. This ensures relevant updates are tracked and managed efficiently, improving project oversight and team collaboration.