Create ticket in Notion and comment on GitHub pull request when new pull request is made

Create a ticket in Notion and comment on a GitHub pull request when a specific user submits a new pull request. This ensures clear tracking and communication, enhancing project management and collaboration.