4f0346f
Fix adding comment in a PR The HTML in the PR page changed a little and the form is no longer where we used to have it. So we add directly the comments in the request_comment section.