This bot is now updated daily, I don't know if that's necessary. It adds a lot of noise in the Git commit history. Maybe weekly would also be fine? (also good for the environment)