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

FAST: also trigger GitHub workflow on PR synchronize event #702

Merged
merged 1 commit into from
Jun 27, 2022
Merged

FAST: also trigger GitHub workflow on PR synchronize event #702

merged 1 commit into from
Jun 27, 2022

Conversation

mgfeller
Copy link
Collaborator

Add synchronize to the pull_request trigger so that the workflow is also run when the source branch is updated.

Add synchronize to the pull_request trigger so that the workflow is also run when the source branch is updated.
@ludoo
Copy link
Collaborator

ludoo commented Jun 27, 2022

Let me know if you are unable to merge once checks are complete. I'm never entirely clear on the reqs for having the "merge" button show up. :)

@mgfeller
Copy link
Collaborator Author

@ludoo looks like it can be merged now - I don't have write access.

@ludoo
Copy link
Collaborator

ludoo commented Jun 27, 2022

@ludoo looks like it can be merged now - I don't have write access.

if you plan on contributing more PRs ping me and I'll add you to the team, thanks! :)

@ludoo ludoo merged commit df9bdc2 into GoogleCloudPlatform:master Jun 27, 2022
juliocc added a commit that referenced this pull request Jun 28, 2022
juliocc added a commit that referenced this pull request Jun 28, 2022
@mgfeller
Copy link
Collaborator Author

@ludoo yes, I might contribute more small PRs, about to submit one with some minor README changes :)

@ludoo
Copy link
Collaborator

ludoo commented Jun 29, 2022

@ludoo yes, I might contribute more small PRs, about to submit one with some minor README changes :)

check your email ;) you will now be able to work in local branches, etc.

@ludoo ludoo changed the title FAST - trigger GitHub workflow also on PR synchronize event FAST: also trigger GitHub workflow on PR synchronize event Jul 31, 2022
@ludoo ludoo added the on:FAST label Jul 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants