Let's add auto-release to this repo. Even though there hasn't been much activity in the last couple of years, but it may help to motivate contributors to submit PR if they know we can merge and release fast.