We used the bot to fix linting issue on this PR: <...
# linting
m
m
that's a feature I would say, keeps the whole repo tidy 🙂
but we could limit it to changed files only...
m
yeah, that's the first time I have seen it, I am reverting the changes to keep the scope of this PR small
m
boo-from-monsters-inc.gif
m
or we should run linting on all files once in a while, and just force merge
or do what you did
I am just concerned by the new conda lock files
m
We can exclude them