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 workflow for keeping PRs up-to-date with master #1867

Merged
merged 5 commits into from Aug 19, 2021

Conversation

lucacome
Copy link
Member

Workflow that will automatically merge master into PRs

@lucacome lucacome added the proposal An issue that proposes a feature request label Aug 17, 2021
@lucacome lucacome requested a review from a team August 17, 2021 02:23
@lucacome lucacome self-assigned this Aug 17, 2021
@lucacome lucacome requested review from ciarams87, soneillf5 and pleshakov and removed request for a team August 17, 2021 02:23
@github-actions github-actions bot added the chore Pull requests for routine tasks label Aug 17, 2021
@lucacome lucacome merged commit 0f0ff58 into master Aug 19, 2021
@lucacome lucacome deleted the chore/keep-pr-up-to-date branch August 19, 2021 22:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks proposal An issue that proposes a feature request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants