Skip to content

Conversation

@JohnVillalovos
Copy link
Member

This makes it work like ProjectLabel

Closes: #2839

This makes it work like ProjectLabel

Closes: #2839
@JohnVillalovos JohnVillalovos marked this pull request as draft July 13, 2024 07:00
@nejch
Copy link
Member

nejch commented Jul 15, 2024

@JohnVillalovos this seems to be a duplicate of #2811, has anything changed in the meantime? See my comments there, I think they both need updating but would make sense to keep it as repr_attr.

@github-actions
Copy link

github-actions bot commented Jul 9, 2025

This Pull Request (PR) was marked stale because it has been open 90 days with no activity. Please remove the stale label or comment on this PR. Otherwise, it will be closed in 15 days.

@github-actions github-actions bot added the stale label Jul 9, 2025
@github-actions
Copy link

This PR was closed because it has been marked stale for 15 days with no activity. If this PR is still valid, please re-open.

@github-actions github-actions bot closed this Jul 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

get_id() retruns name of label

3 participants