Skip to content

ci(java): ignore bot users for generate-files-bot#877

Merged
gcf-merge-on-green[bot] merged 1 commit intomasterfrom
chingor13-patch-1
Dec 16, 2020
Merged

ci(java): ignore bot users for generate-files-bot#877
gcf-merge-on-green[bot] merged 1 commit intomasterfrom
chingor13-patch-1

Conversation

@chingor13
Copy link
Copy Markdown
Contributor

@chingor13 chingor13 commented Dec 15, 2020

@chingor13 chingor13 requested a review from a team December 15, 2020 19:55
@google-cla google-cla Bot added the cla: yes This human has signed the Contributor License Agreement. label Dec 15, 2020
@chingor13 chingor13 added the automerge Merge the pull request once unit tests and other checks pass. label Dec 16, 2020
@gcf-merge-on-green gcf-merge-on-green Bot merged commit 3f67cee into master Dec 16, 2020
@gcf-merge-on-green gcf-merge-on-green Bot deleted the chingor13-patch-1 branch December 16, 2020 00:16
@gcf-merge-on-green gcf-merge-on-green Bot removed the automerge Merge the pull request once unit tests and other checks pass. label Dec 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla: yes This human has signed the Contributor License Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

generated-files-bot: don't warn on release PRs

2 participants