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

Sync docs: update sidebars and transform relative links to absolute p… #5546

Merged
merged 1 commit into from
Jan 22, 2025

Conversation

wartraxx51
Copy link
Contributor

…aths

@github-actions github-actions bot added the group/ci Issue related to the CI pipeline label Jan 22, 2025
Copy link
Contributor

@petercrocker petercrocker left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@wartraxx51 wartraxx51 merged commit 3cddc2b into stable Jan 22, 2025
28 checks passed
@wartraxx51 wartraxx51 deleted the IFC-1086_jbr_fix_rewrite branch January 22, 2025 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
group/ci Issue related to the CI pipeline
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants