Actual code for Github PR comments hook handling