Dev tools: git-cliff / how-to update changelog
As I understand, this is used to update the changelog. I'm not familiar with this tool; @tobias.schorr would you mind giving me a quick how-to ? Maybe we should put this info directly in a contribution guide?