Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Bors fails when re-merging unmerged PR #1523

Open
Xavientois opened this issue Jul 11, 2022 · 1 comment
Open

Bors fails when re-merging unmerged PR #1523

Xavientois opened this issue Jul 11, 2022 · 1 comment

Comments

@Xavientois
Copy link

Bors comments Already running a review when running bors r+ on a PR that was previously merged but was since reverted.

This is occurring for us at voiceflow/general-runtime#355
@Patriksafar
Copy link

Vote up!

Having same issue, luckily we still have an option merge it manually.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Xavientois @Patriksafar