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

Create action to auto update a PR when destination branch is pushed #3007

Merged
merged 3 commits into from
Mar 30, 2023
Merged

Create action to auto update a PR when destination branch is pushed #3007

merged 3 commits into from
Mar 30, 2023

Conversation

gutiory
Copy link
Collaborator

@gutiory gutiory commented Mar 30, 2023

This PR creates a Github Action that uses autoupdate to keep all opened PRs up-to-date whenever a push is done to the PR destination branch

@github-actions
Copy link
Contributor

github-actions bot commented Mar 30, 2023 •
edited
Loading

Kover Report

Total Project Coverage 44.33%

@serras
Copy link
Member

serras commented Mar 30, 2023

Is there a way to restrict this to not auto-update arrow-2? That's a difficult thing to do most of the times, so it would be preferrable to always merge there by hand.

@nomisRev
Copy link
Member

PR_FILTER: "ready_for_review"

@serras I guess this is only applied to ready for review PRs. So it would filter out arrow-2.

Looks great to me @gutiory! Thank you.

@gutiory
Copy link
Collaborator Author

gutiory commented Mar 30, 2023 •
edited
Loading

PR_FILTER: "ready_for_review"

@serras I guess this is only applied to ready for review PRs. So it would filter out arrow-2.

Looks great to me @gutiory! Thank you.

Yes, you're right, @nomisRev. The draft PRs are out of the auto updates.
Anyway, @serras I've just created a new label that will skip a ready for review PR to auto update on every push.
Captura de pantalla 2023-03-30 a las 14 11 49

franciscodr
franciscodr approved these changes Mar 30, 2023
View reviewed changes
Copy link
Collaborator

@franciscodr franciscodr left a comment

Choose a reason for hiding this comment

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

Minor comment. Looks good to me!

@gutiory gutiory merged commit e9031f9 into main Mar 30, 2023
@gutiory gutiory deleted the jg-auto-update-pr branch March 31, 2023 07:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nomisRev nomisRev nomisRev approved these changes

@franciscodr franciscodr franciscodr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@gutiory @serras @nomisRev @franciscodr