Skip to content

Conversation

@atravitz
Copy link
Contributor

Now that this bug is fixed, we can use the main branch of ofe_sphinx_theme

Developers certificate of origin

@atravitz atravitz requested a review from mikemhenry October 31, 2024 15:57
Copy link
Member

@IAlibay IAlibay left a comment

Choose a reason for hiding this comment

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

@atravitz do you think it's worth cutting a release of the sphinx theme if it works as-is? I guess it doesn't matter too much but I'm wondering if it'll reduce the chance of us messing up something on main.

@atravitz
Copy link
Contributor Author

@IAlibay I agree - just made a sphinx theme release and pinned to it here.

@atravitz atravitz merged commit be2bb5e into main Nov 1, 2024
@atravitz atravitz deleted the pull_from_latest_docs_theme branch November 1, 2024 14:10
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.

3 participants