Closed Borda closed 3 months ago
@pradyunsg @GaretJax could you pls have look :)
friendly ping @pradyunsg @GaretJax if you could have a look :chipmunk:
friendly ping @pradyunsg @GaretJax if you could have a look 🐿️
mind have a look, when you have time 🦩
@AA-Turner thank you, I just landed your suggestion :)
Running regular update
pre-commit autoupdate
...Moreover curious if it would be possible to install this bot, which would help with fixing open PRs and do these regular updates automatically (via PR so all is validated before merge)
cc: @AA-Turner @hugovk