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

Add parameter with_names to to_csv #17

Merged
merged 1 commit into from
Feb 24, 2024
Merged

Add parameter with_names to to_csv #17

merged 1 commit into from
Feb 24, 2024

Conversation

gryumov
Copy link
Member

@gryumov gryumov commented Feb 24, 2024

Pull request checklist

  • Did you bump the project version?
  • Did you add a description to the Pull Request?
  • Did you add new tests?
  • Did you add reviewers?

@gryumov gryumov changed the title Add parameter with_names to to_csv (#15) Add parameter with_names to to_csv (#17) Feb 24, 2024
gryumov added a commit that referenced this pull request Feb 24, 2024
@gryumov gryumov requested review from yshadrin and removed request for yshadrin February 24, 2024 20:15
@gryumov gryumov self-assigned this Feb 24, 2024
@gryumov gryumov enabled auto-merge (squash) February 24, 2024 20:17
@gryumov gryumov disabled auto-merge February 24, 2024 20:18
@gryumov gryumov enabled auto-merge (rebase) February 24, 2024 20:18
@gryumov gryumov disabled auto-merge February 24, 2024 20:21
@gryumov gryumov merged commit 9ddb8bc into master Feb 24, 2024
3 checks passed
@gryumov gryumov deleted the with_names branch February 24, 2024 20:23
gryumov added a commit that referenced this pull request Feb 24, 2024
@gryumov gryumov changed the title Add parameter with_names to to_csv (#17) Add parameter with_names to to_csv Feb 24, 2024
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.

1 participant