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.

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

Fine-tune rename_labels #335 #340

Merged
merged 1 commit into from
Mar 15, 2022
Merged

Fine-tune rename_labels #335 #340

merged 1 commit into from
Mar 15, 2022

Conversation

m-mohr
Copy link
Member

@m-mohr m-mohr commented Mar 14, 2022

Fixes #335

@m-mohr m-mohr added this to the 1.3.0 milestone Mar 14, 2022
@m-mohr m-mohr requested a review from soxofaan March 14, 2022 21:28
@m-mohr m-mohr self-assigned this Mar 14, 2022
@m-mohr m-mohr linked an issue Mar 14, 2022 that may be closed by this pull request
rename_labels finetuning #335
Closed
@m-mohr m-mohr mentioned this pull request Mar 14, 2022
Closed
@m-mohr m-mohr merged commit 1bb153c into draft Mar 15, 2022
@m-mohr m-mohr modified the milestones: 1.3.0, 2.0.0 Feb 1, 2023
@m-mohr m-mohr deleted the issue-335 branch March 15, 2023 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@soxofaan soxofaan soxofaan approved these changes

Assignees

@m-mohr m-mohr

Labels
documentation minor
Projects
None yet
Milestone
2.0.0
Development

Successfully merging this pull request may close these issues.

rename_labels finetuning
2 participants
@m-mohr @soxofaan