Hey, I notice the source hasn't been pushed (again).
Any plans to (re-)automate that in the next few months?
Had to make an account to complain about it (I've done a couple git PR's before), but I'm sick and tired of this happening every single month. Last time it took like a week to get pushed.