Use pull_request_number to extract the id of the Pull Request on GitHub.

This fixes an issue in the Slack notifications.