Plan a news bot which listens to commit messages from research repo and generate news note on the research website if the commits start with word "Major: "

This was discussed during the retreat. This is my proposal, maybe it can be done simpler, maybe Makeadoc already has something for it but if not this is one way of doing it:

• The bot should run somewhere (where?) listen on some port for github hook event and needs read and write access to the research repo. (It should be defined as an OAuth or Github app)

  • The bot should be called by the commit comment webhook:
    https://developer.github.com/v3/activity/events/types/#commitcommentevent

  • When the bot receives the POST request from github, it

  • check if its body have word "Major: "

  • pull the research repo.

  • delete the last line from research/doc/news.md.

  • drop "Major: " and add the rest of the commit as the first line.

  • Push to the research repo.