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

warn if force push fails #801

Closed

extrawurst opened this issue Jul 1, 2021 · 0 comments · Fixed by #810

Labels

bug

Milestone

Owner

extrawurst commented Jul 1, 2021

if a server has the branch protected the force-push fails but does not let us know

extrawurst added the bug label

extrawurst added this to the v0.17 milestone

extrawurst mentioned this issue

error if force push was rejected #810

Merged

extrawurst closed this as completed in #810

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