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

Add log_cleared to the common index #2400

Merged
merged 1 commit into from
Jun 13, 2023
Merged

Add log_cleared to the common index #2400

merged 1 commit into from
Jun 13, 2023

Conversation

jleibs
Copy link
Member

@jleibs jleibs commented Jun 12, 2023

What

Help users discover the log_cleared API by adding it to the index.

Resolves:

TODO:

  • After merging, this change should be cherry-picked into release-0.6 branch and documentation should be re-deployed.

Checklist

PR Build Summary: {{ pr-build-summary }}

@jleibs jleibs force-pushed the jleibs/log_cleared branch from 152f64c to 24af2ce Compare June 12, 2023 22:12
@jleibs jleibs changed the base branch from release-0.6 to main June 12, 2023 22:12
@jleibs jleibs marked this pull request as ready for review June 12, 2023 22:12
@emilk emilk merged commit 0e3c824 into main Jun 13, 2023
@emilk emilk deleted the jleibs/log_cleared branch June 13, 2023 06:35
jleibs added a commit that referenced this pull request Jun 13, 2023
### What
Help users discover the `log_cleared` API by adding it to the index.

Resolves:
 - #2348

TODO:
- [ ] After merging, this change should be cherry-picked into
`release-0.6` branch and documentation should be re-deployed.

### Checklist
* [x] I have read and agree to [Contributor
Guide](https://github.com/rerun-io/rerun/blob/main/CONTRIBUTING.md) and
the [Code of
Conduct](https://github.com/rerun-io/rerun/blob/main/CODE_OF_CONDUCT.md)
* [ ] I've included a screenshot or gif (if applicable)

<!-- This line will get updated when the PR build summary job finishes.
-->
PR Build Summary: {{ pr-build-summary }}

<!-- This comment will be replaced by a link to the documentation
preview -->
emilk pushed a commit that referenced this pull request Jun 15, 2023
### What
Help users discover the `log_cleared` API by adding it to the index.

Resolves:
 - #2348

TODO:
- [ ] After merging, this change should be cherry-picked into
`release-0.6` branch and documentation should be re-deployed.

### Checklist
* [x] I have read and agree to [Contributor
Guide](https://github.com/rerun-io/rerun/blob/main/CONTRIBUTING.md) and
the [Code of
Conduct](https://github.com/rerun-io/rerun/blob/main/CODE_OF_CONDUCT.md)
* [ ] I've included a screenshot or gif (if applicable)

<!-- This line will get updated when the PR build summary job finishes.
-->
PR Build Summary: {{ pr-build-summary }}

<!-- This comment will be replaced by a link to the documentation
preview -->
@emilk emilk mentioned this pull request Jun 15, 2023
3 tasks
@Wumpf Wumpf added the 📖 documentation Improvements or additions to documentation label Jun 15, 2023
@emilk emilk mentioned this pull request Jun 15, 2023
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📖 documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants