Open Borda opened 6 months ago
Thanks!! I will review these next week. I try to keep several different repos linting/ci stuff in sync so I can automate these kinds of linting / CI changes at the same time. So I will update the other repos at the same time.
@jarrodmillman, did you have a chance to have a look at this PR? :flamingo:
I am busy working on a grant proposal and a progress report for another grant that are due next week. I will take care of your PRs after that. I know they shouldn't take much time, but I am just swamped at the moment.
@jarrodmillman no worries :flags: just let me know when you could check it... :chipmunk:
@jarrodmillman no worries 🎏 just let me know when you could check it... 🐿️
mind have a look, when you have time 🦩
@jarrodmillman no worries 🎏 just let me know when you could check it... 🐿️
mind have a look, when you have time 🦩
friendly ping :)
@jarrodmillman I wonder if there is a reason why using local GH action for lining and not the free bot - https://github.com/marketplace/pre-commit-ci but with this bot, you can also get automated fixes for lint But before eventual merging, the bot needs to be installed so there is no degradation of code quality :) Also, you can add a badge (the link will be available also upon installation)