New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unpin pylint #38

Merged

seisman merged 1 commit into master from unpip-pylint

Jun 21, 2021

Member

seisman commented Jun 21, 2021

Description of proposed changes

Fixes #

Reminders

Run make format and make check to make sure the code follows the style guide.
Add tests for new features or tests that would have caught the bug that you're fixing.
If adding new functionality, add an example to docstrings or tutorials.


          Unpin pylin

f4bd8bf

seisman changed the title ~~Unpin pylin~~ Unpin pylint

seisman merged commit 7ba03eb into master

seisman deleted the unpip-pylint branch

June 21, 2021 01:55

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment