Skip to content
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.

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

Bump sphinx-lint from 0.8.1 to 0.8.2 #1218

Merged
merged 1 commit into from
Nov 24, 2023

Conversation

ezio-melotti
Copy link
Member

@ezio-melotti ezio-melotti commented Nov 13, 2023

A new version of sphinx-lint is out: https://pypi.org/project/sphinx-lint/0.8.2/


📚 Documentation preview 📚: https://cpython-devguide--1218.org.readthedocs.build/

@ezio-melotti ezio-melotti added the dependencies Pull requests that update a dependency file label Nov 13, 2023
@ezio-melotti ezio-melotti self-assigned this Nov 13, 2023
@hugovk
Copy link
Member

hugovk commented Nov 13, 2023

Fine to merge if you like, but I suggest we leave these to the monthly dependabot check, unless there's a pressing need to update something.

And there's nothing in 0.8.2 that affects us:

@ezio-melotti
Copy link
Member Author

Ok, I just wanted to check early to ensure everything works properly, rather than waiting for the dependabot updates to find out, but it's not a big deal either way.

@ezio-melotti ezio-melotti merged commit f73a918 into python:main Nov 24, 2023
5 checks passed
@ezio-melotti ezio-melotti deleted the sphinx-lint-0.8.2 branch November 24, 2023 10:34
@AlexWaygood
Copy link
Member

0.9.0 is out now ;)

@hugovk
Copy link
Member

hugovk commented Nov 24, 2023

Let's leave it to dependabot :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants