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

Ignore false-positive github link errors #146

Merged
merged 5 commits into from
Aug 14, 2023

Conversation

christophfroehlich
Copy link
Contributor

Due to a bug in the sphinx linkchecker, github anchors are false positives and have to be explicitly ignored.

Fixes #131

@bmagyar
Copy link
Member

bmagyar commented Aug 14, 2023

Thank you!

@bmagyar bmagyar merged commit f3163a1 into ros-controls:master Aug 14, 2023
3 of 4 checks passed
@christophfroehlich christophfroehlich deleted the fix_linkcheck branch August 14, 2023 08:09
@christophfroehlich
Copy link
Contributor Author

@Mergifyio backport iron humble

@mergify
Copy link
Contributor

mergify bot commented Aug 14, 2023

backport iron humble

✅ Backports have been created

mergify bot pushed a commit that referenced this pull request Aug 14, 2023
* Ignore false github link errors

* Remove tmp logfile

* Remove logfile

* Move cleanup to bash script

(cherry picked from commit f3163a1)
mergify bot pushed a commit that referenced this pull request Aug 14, 2023
* Ignore false github link errors

* Remove tmp logfile

* Remove logfile

* Move cleanup to bash script

(cherry picked from commit f3163a1)
christophfroehlich added a commit that referenced this pull request Aug 14, 2023
* Ignore false github link errors

* Remove tmp logfile

* Remove logfile

* Move cleanup to bash script

(cherry picked from commit f3163a1)

Co-authored-by: Christoph Fröhlich <christophfroehlich@users.noreply.github.com>
christophfroehlich added a commit that referenced this pull request Aug 14, 2023
* Ignore false github link errors

* Remove tmp logfile

* Remove logfile

* Move cleanup to bash script

(cherry picked from commit f3163a1)

Co-authored-by: Christoph Fröhlich <christophfroehlich@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Broken links
2 participants