Generate release notes from pull request descriptions, and optionally post them to the github releases page
>= 0
arvindth