toolsgithub_comments.py to update comments in specified pull requestsee comments in file for more details