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

Main to hello universe #209

Merged
merged 8 commits into from
May 10, 2023
Merged

Main to hello universe #209

merged 8 commits into from
May 10, 2023

Conversation

sorhawell
Copy link
Collaborator

No description provided.

eitsupi and others added 8 commits May 4, 2023 17:11
* Fix examples that failed because `<` and `>` were not parsed correctly (for example filter)
* in Reference, auto collapse of sections in sidebar if we open another section
* Replace `<h3>` tags by `##` so that subsections appear in the TOC on the right of docs. Example:
@sorhawell
Copy link
Collaborator Author

Try fix #208 by pushing latest

@sorhawell sorhawell merged commit da28b8c into hello_r_universe May 10, 2023
@eitsupi
Copy link
Collaborator

eitsupi commented May 11, 2023

@sorhawell To keep changes on hello_r_universe branch to a minimum, it would be better to simply rebase the branch as I had done, rather than merge the main branch into the branch.

@sorhawell
Copy link
Collaborator Author

sorhawell commented May 11, 2023

@eitsupi
Makes sense. I'm haven't been using rebase much before. what git commands should I use to rebase with main?

@eitsupi
Copy link
Collaborator

eitsupi commented May 11, 2023

Makes sense. I'm haven't been using rebase much before. what git commands should I use to rebase with main?

Just git rebase main.

git switch hello_r_universe
git rebase main
git push --force-with-lease

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.

4 participants