tool to append a given message to the given pull request in the given repo