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

Fixed handling of merge API call failure #1517

Merged
merged 2 commits into from
Dec 31, 2022

Conversation

CatChen
Copy link
Owner

@CatChen CatChen commented Dec 30, 2022

No description provided.

Copy link
Owner Author

CatChen commented Dec 30, 2022

Current dependencies on/for this PR:

This comment was auto-generated by Graphite.

@github-actions
Copy link
Contributor

Checks from #1521

Check Status URL
GitGuardian Security Checks pass https://dashboard.gitguardian.com
security/gitguardian pass https://dashboard.gitguardian.com

@CatChen CatChen force-pushed the 12-30-Marking_skipped_even_if_merging_fails branch from deb17ed to cbd99a0 Compare December 30, 2022 23:39
@CatChen CatChen force-pushed the 12-30-Fixed_handling_of_merge_API_call_failure branch from cedbd9d to 131d4b6 Compare December 30, 2022 23:39
github-actions bot added a commit that referenced this pull request Dec 30, 2022
github-actions bot added a commit that referenced this pull request Dec 30, 2022
github-actions bot added a commit that referenced this pull request Dec 30, 2022
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@github-actions
Copy link
Contributor

@CatChen CatChen force-pushed the 12-30-Marking_skipped_even_if_merging_fails branch from cbd99a0 to 49f9c28 Compare December 30, 2022 23:47
@CatChen CatChen force-pushed the 12-30-Marking_skipped_even_if_merging_fails branch from 49f9c28 to 86b7a7e Compare December 30, 2022 23:53
Copy link
Owner Author

CatChen commented Dec 31, 2022

✅ This pull request merged successfully as part of a Graphite job
Stack job ID: SM8TrhELn1gk1AzmNXaf.
See details on graphite.dev

Base automatically changed from 12-30-Marking_skipped_even_if_merging_fails to main December 31, 2022 00:06
@github-actions github-actions bot merged commit 660696c into main Dec 31, 2022
@github-actions github-actions bot deleted the 12-30-Fixed_handling_of_merge_API_call_failure branch December 31, 2022 00:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant