GitHub repository: mshick/add-pr-comment-proxy
Primary language: JavaScript
Description: A simple bot to proxy PR comments.