gitmanager.py: Show number of generated PR in chat message
gitmanager.py: Show number of generated PR in chat message

When a pull request is being created on a user's behalf, include the number
of the pull request in the chat message.

Charcoal-SE/SmokeDetector,Charcoal-SE/SmokeDetector