The goal is to incorporate a GitHub stats counter into the navbar, similar to the one previously used in MKDocs. This counter will provide a convenient and easily accessible display of important information about our repository. It will showcase the number of stars and forks our repository has received, indicating the level of interest and engagement from the GitHub community.
Additionally, we may consider including the current version of our project alongside these stats, allowing users to quickly identify the version they are accessing.
e.g.
Note!
When making a PR for this issue, make sure you target the branch docs-migration.
Related to #4396
The goal is to incorporate a GitHub stats counter into the navbar, similar to the one previously used in MKDocs. This counter will provide a convenient and easily accessible display of important information about our repository. It will showcase the number of stars and forks our repository has received, indicating the level of interest and engagement from the GitHub community.
Additionally, we may consider including the current version of our project alongside these stats, allowing users to quickly identify the version they are accessing.
e.g.
Note!
When making a PR for this issue, make sure you target the branch
docs-migration.Related to #4396