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

Link to /examples in PR description #2320

Merged
merged 2 commits into from Jun 7, 2023
Merged

Link to /examples in PR description #2320

merged 2 commits into from Jun 7, 2023

Conversation

jprochazk
Copy link
Member

@jprochazk jprochazk commented Jun 7, 2023

What

Checklist

PR Build Summary: https://build.rerun.io/pr/2320

Docs preview: https://rerun.io/preview/3d1faa7/docs
Examples preview: https://rerun.io/preview/3d1faa7/examples

@jprochazk jprochazk added 📖 documentation Improvements or additions to documentation 🧑‍💻 dev experience developer experience (excluding CI) labels Jun 7, 2023
Copy link
Member

@Wumpf Wumpf left a comment

Choose a reason for hiding this comment

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

nice!!

@Wumpf Wumpf merged commit e33a48a into main Jun 7, 2023
20 checks passed
@Wumpf Wumpf deleted the jan/pr-link-examples branch June 7, 2023 09:31
emilk pushed a commit that referenced this pull request Jun 15, 2023
<!--
Open the PR up as a draft until you feel it is ready for a proper
review.

Do not make PR:s from your own `main` branch, as that makes it difficult
for reviewers to add their own fixes.

Add any improvements to the branch as new commits to make it easier for
reviewers to follow the progress. All commits will be squashed to a
single commit once the PR is merged into `main`.

Make sure you mention any issues that this PR closes in the description,
as well as any other related issues.

To get an auto-generated PR description you can put "copilot:summary" or
"copilot:walkthrough" anywhere.
-->

### What

### Checklist

<!-- This line will get updated when the PR build summary job finishes.
-->
PR Build Summary: https://build.rerun.io/pr/2320

<!-- pr-link-docs:start -->
Docs preview: https://rerun.io/preview/3d1faa7/docs
Examples preview: https://rerun.io/preview/3d1faa7/examples
<!-- pr-link-docs:end -->
This was referenced Jun 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧑‍💻 dev experience developer experience (excluding CI) 📖 documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants