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 preview of latest commit in PR body #2287

Merged
merged 4 commits into from May 31, 2023
Merged

Conversation

jprochazk
Copy link
Member

@jprochazk jprochazk commented May 31, 2023

What

Checklist

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

Docs preview: https://rerun.io/preview/49fbf30/docs

@jprochazk jprochazk added the 🧑‍💻 dev experience developer experience (excluding CI) label May 31, 2023
"""
Script to generate a link to documentation preview in PRs.

This is expected to be run by the `reusable_pr_link_docs.yml` GitHub workflow.
Copy link
Member

Choose a reason for hiding this comment

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

I think it is time to put ci-related scripts under scripts/ci to distinguish them from scripts meant for humans.

Other candidates:

  • generate_pr_summary.py
  • version_util.py
  • verify_wheels.py
  • generate_prerelease_pip_index.py
  • check_large_files.sh
  • check_large_files_allow_list.txt

Copy link
Member

Choose a reason for hiding this comment

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

(but perhaps in a follow-up PR)

Copy link
Member Author

Choose a reason for hiding this comment

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

It's a small thing, but #2292 so we don't forget

Copy link
Member

@emilk emilk left a comment

Choose a reason for hiding this comment

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

OMG YES

wow

@jprochazk jprochazk merged commit b59b38d into main May 31, 2023
20 checks passed
@jprochazk jprochazk deleted the jan/link-pr-preview branch May 31, 2023 15:07
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
* [ ] 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: https://build.rerun.io/pr/2287

<!-- pr-link-docs:start -->
Docs preview: https://rerun.io/preview/49fbf30/docs
<!-- 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)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants