Changelogs

We generate changelogs for some of our projects using the github-tools changelog generator.