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.

Sign up for GitHub

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

Jump to bottom

Assign assign reviewer & include link in doc sync PR #33

Merged
merged 2 commits into from
Jan 1, 2024
Merged

Assign assign reviewer & include link in doc sync PR #33

merged 2 commits into from
Jan 1, 2024

Conversation

huonw
Copy link
Contributor

@huonw huonw commented Dec 31, 2023

This does two minor adjustments to the PR that is created for syncing docs:

  1. include a link to the relevant release (fixes Include link to relevant release in doc sync PR #13)
  2. assign a reviewer, by default the person triggering the workflow but can be overridden as an input (fixes Assign a reviewer to automatic doc syncing PRs, to reduce chance of falling through cracks #12)

Examples: #31 (default reviewer), #32 (providing reviewer input thejcannon,huonw)

@huonw huonw requested a review from thejcannon December 31, 2023 09:53
This was referenced Dec 31, 2023
Closed
Closed
@huonw huonw merged commit 7821327 into main Jan 1, 2024
3 checks passed
@thejcannon thejcannon deleted the huonw/13-release-link branch January 1, 2024 12:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thejcannon thejcannon thejcannon approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@huonw @thejcannon