Skip to content

Conversation

@SamyOubouaziz
Copy link
Collaborator

Your checklist for this pull request

Description

Please describe what you added or changed.

@SamyOubouaziz SamyOubouaziz added priority: low Maintenance PRs that are not critical. status: doc review Waiting for doc team review labels Dec 16, 2025
@SamyOubouaziz SamyOubouaziz self-assigned this Dec 16, 2025
@github-actions github-actions bot added the type: developer Front Website changes label Dec 16, 2025
@SamyOubouaziz SamyOubouaziz added the do not merge PR that shouldn't be merged before a specific date (eg release) label Dec 16, 2025
@SamyOubouaziz
Copy link
Collaborator Author

Will implement differently soon™️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do not merge PR that shouldn't be merged before a specific date (eg release) priority: low Maintenance PRs that are not critical. status: doc review Waiting for doc team review type: developer Front Website changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants