G github.com Show HN: Making pull requests less painful with an AI agent 9 points harel 3 years ago 8 comments