bot fix style

Stream: general

[Johan Commelin]

It seems that bot fix style didn't do anything on

feat (Mathlib/RingTheory/MvPolynomial/Groebner) : monomial orders and division #16584

If someone wants to teach the bot a lesson, please go ahead (-;

[Bryan Gin-ge Chen]

It looks like that PR was based off a commit to master which doesn't have the latest version of the workflow and script, so I think that merging master and then re-running the command would have worked (though it looks like the style issues have already been fixed).

[Johan Commelin]

Aah, thanks. I should have thought of that