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

Fix new metadata tip label #1845

Merged
merged 3 commits into from
Sep 10, 2024
Merged

Fix new metadata tip label #1845

merged 3 commits into from
Sep 10, 2024

Conversation

joverlee521
Copy link
Contributor

@joverlee521 joverlee521 commented Sep 3, 2024

Description of proposed changes

Ensures that new metadata fields added to the tree are included as new tip labels.

Related issue(s)

Resolves #1844

Checklist

Ensures that new metadata fields added to the tree are included as
new tip labels.

Fixes #1844
Copy link
Member

@jameshadfield jameshadfield left a comment

Choose a reason for hiding this comment

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

This looks good from inspection, but I haven't tested it. Please merge if you're happy with the behaviour.

@joverlee521 joverlee521 merged commit 6ef1fe7 into master Sep 10, 2024
7 of 8 checks passed
@joverlee521 joverlee521 deleted the fix-new-metadata-tip-label branch September 10, 2024 18:19
@joverlee521 joverlee521 temporarily deployed to auspice-fix-new-metadat-j7ysrk September 10, 2024 18:19 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

drag-and-drop metadata not available as tip labels
4 participants