looks like your PR has just merged now 🎉