Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

enhancement: user tags and roles management • iteration 2 #225

Merged
merged 5 commits into from
Jan 7, 2025

Conversation

AkesiSeli
Copy link
Contributor

@AkesiSeli AkesiSeli commented Jan 6, 2025

Technical details

This PR continues the work of #223 with special tags, in follow up to this comment on #222.

even after creating new ones
@AkesiSeli AkesiSeli self-assigned this Jan 6, 2025
Copy link

codecov bot commented Jan 6, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Flag Coverage Δ
unittests 57.55% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

@AkesiSeli AkesiSeli marked this pull request as ready for review January 7, 2025 07:45
@AkesiSeli AkesiSeli merged commit 8bd1e7b into master Jan 7, 2025
3 checks passed
@AkesiSeli AkesiSeli deleted the special-tags-2 branch January 7, 2025 07:45
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant