Make Jarvis inform the users in Github a PR was merged successfully

As we're not using the green button of Github, a first look at our PR just seem closed. This here adds a  message to the Issue to the user knows his PR was merged and it's happy.