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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Retry on certain upstream error codes. #148

Open

MangoIV opened this issue Feb 5, 2025 · 1 comment

MangoIV commented Feb 5, 2025

Certain upstream (GitHub API) error codes may warrant a retry. For example 502 Bad Gateway.

I think what would be nice is a two stage process.

the bot sees that it’s been pinged and puts something to indicate that it realised (maybe a ⏱️ reaction)
the bot tries to merge and only if it was successful puts the 🚀 emoji

(1) may be retried in certain scenarios.

Member

Mic92 commented Feb 6, 2025

Sounds good.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment