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

Jump to bottom

Add branch info to website navbar #1906

Merged
merged 2 commits into from
Feb 26, 2025
Merged

Add branch info to website navbar #1906

merged 2 commits into from
Feb 26, 2025

Conversation

drkameleon
Copy link
Collaborator

Description

...

Type of change

  • Enhancement (implementation update, or general performance enhancements)
  • Documentation (documentation-related additions)

@drkameleon drkameleon added documentation Improvements or additions to documentation website Issues related to the website labels Feb 26, 2025
@github-actions github-actions bot added the workflows Issues related to GitHub workflows, building, releases, etc label Feb 26, 2025
@drkameleon
Copy link
Collaborator Author

Ready to merge! 🚀

@drkameleon drkameleon merged commit 7d69773 into master Feb 26, 2025
13 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation website Issues related to the website workflows Issues related to GitHub workflows, building, releases, etc
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@drkameleon