Push notification when a pull request is done