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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: update and delete comments #324

Merged
merged 1 commit into from Nov 10, 2021
Merged

fix: update and delete comments #324

merged 1 commit into from Nov 10, 2021

Conversation

christophehurpeau
Copy link
Owner

No description provided.

@reviewflow
Copy link

reviewflow bot commented Nov 10, 2021 •
edited by christophehurpeau

Options:

  • 馃殾 automerge: Automatically merge when this PR is ready and has no failed statuses. When the repository requires branches to be up to date before merging, it merges default branch, with a queue per repo to prevent multiple merges when several PRs are ready. A fail job prevents the merge.
  • 馃殾 skip-ci: Add [skip ci] on merge commit when merge is done with autoMerge.
  • 鈾伙笍 Automatically delete the branch after this PR is merged.

@reviewflow reviewflow bot added the 馃殾 automerge Synced by reviewflow for merge/automerge label Nov 10, 2021
@reviewflow reviewflow bot merged commit 85c724f into master Nov 10, 2021
@reviewflow reviewflow bot deleted the fix/update-and-delete-comments branch November 10, 2021 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@christophehurpeau christophehurpeau

Labels
馃殾 automerge Synced by reviewflow for merge/automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@christophehurpeau