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

Replace file reads and writes utilizing Path (fixes #8) #9

Merged
merged 3 commits into from
Nov 29, 2023

Conversation

jan-jockusch
Copy link
Contributor

I rather stupidly followed the suggestions made by @leorochael in this PR, just to help out a bit.

@jan-jockusch jan-jockusch marked this pull request as ready for review November 29, 2023 07:21
Copy link

@d-maurer d-maurer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe: add a CHANGES.rst entry describing the change with reference to the fixed issue.

@jan-jockusch
Copy link
Contributor Author

Maybe: add a CHANGES.rst entry describing the change with reference to the fixed issue.

Thanks, reviewers! I'll add the missing entry pronto.

@dataflake
Copy link
Member

@jan-jockusch In case you're not aware, the PR author - you - does the final merge when the prerequisites like passing tests and reviewer approval are met.

@jan-jockusch jan-jockusch merged commit 727c26c into master Nov 29, 2023
13 checks passed
@jan-jockusch jan-jockusch deleted the close-files-immediately branch November 29, 2023 11:25
@jan-jockusch
Copy link
Contributor Author

@jan-jockusch In case you're not aware, the PR author - you - does the final merge when the prerequisites like passing tests and reviewer approval are met.

Thanks for the reminder! Yes, I thought that's the rule and was about to, but I wanted to make sure I don't trespass and was therefore looking for docs to confirm I have the green light. It's been a while since I last contributed…

@dataflake
Copy link
Member

Great, thanks for the PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants