GitHub repository: rscharfe/gitgitgadget
Description: Sending GitHub PRs to the Git mailing list