Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

DOC: duplicated github button on docs page #723

Closed
aureliobarbosa opened this issue Nov 7, 2024 · 3 comments · Fixed by #714
Closed

DOC: duplicated github button on docs page #723

aureliobarbosa opened this issue Nov 7, 2024 · 3 comments · Fixed by #714
Assignees
Labels
Docs Docs and examples related

Comments

@aureliobarbosa
Copy link

Describe the bug

The GitHub badge appearing on the right top badge menu of the documentation (just on the side of the Light/Dark, Linkedin, and PyPI badges) is duplicated.

To Reproduce

This 'bug' is appearing on the latest documentation documentation page, which at this time corresponds to version 1.6.1.

Expected behavior

Just one badge should be present.

Screenshots
image

Additional context

Do not apply.

@Gui-FernandesBR Gui-FernandesBR changed the title DOC: DOC: duplicated github button on docs page Nov 7, 2024
@Gui-FernandesBR
Copy link
Member

Thank you for opening this issue.
We are aware of such problem and the next minor version should already fix that, we plan to release it later this week.
#722

@Gui-FernandesBR Gui-FernandesBR added the Docs Docs and examples related label Nov 7, 2024
@Gui-FernandesBR Gui-FernandesBR self-assigned this Nov 7, 2024
@aureliobarbosa
Copy link
Author

aureliobarbosa commented Nov 7, 2024

Thanks for answering quickly, I was planning to fix it. Shouldn't it be marked as closed or be mentioned on the PR that closes the issue?

@Gui-FernandesBR
Copy link
Member

Gui-FernandesBR commented Nov 7, 2024

Thanks for answering quickly, I was planning to fix it. Shouldn't it be marked as closed or be mentioned on the PR that closes the issue?

Thanks for helping.
I will close this issue as soon as we merge #722 onto master.

Actually, I'm closing it right now. Thanks for the advice.

@Gui-FernandesBR Gui-FernandesBR linked a pull request Nov 7, 2024 that will close this issue
3 tasks
@github-project-automation github-project-automation bot moved this from Backlog to Closed in LibDev Roadmap Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Docs Docs and examples related
Projects
Status: Closed
Development

Successfully merging a pull request may close this issue.

2 participants