[direct] pushing a revert should work #54

Open
opened 2025-07-08 11:07:39 +02:00 by adamm · 0 comments
Owner

Pushing a revert cannot work if pr bot is also working, as they can conflict if we are reverting history

Pushing a revert cannot work if pr bot is also working, as they can conflict if we are reverting history
Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: git-workflow/autogits#54