keep a changelog

Stream: general

[Sean Leather]

I just discovered Keep a Changlog, which reminded me of our previous discussions on mathlib releases.

[Kevin Buzzard]

Mathlib is an ongoing project without releases. You probably don't want a changelog for every commit. I think Mario once suggested that one could perhaps "pretend" that there's a release on the first of every month. Perhaps the community spending 5 minutes discussing what major things happened in the last month or so would be a good idea! For example I believe that this month we got polynomials in one variable.