Skip to content

Fix force pushes#1

Merged
iwillig merged 1 commit intomainfrom
ivan/fix-force-pushes
Mar 4, 2026
Merged

Fix force pushes#1
iwillig merged 1 commit intomainfrom
ivan/fix-force-pushes

Conversation

@iwillig
Copy link
Owner

@iwillig iwillig commented Mar 4, 2026

Prior to this commit there was a bug that would thrown an error. This change should allow force pushes by handling git fetching more gracefully.

Prior to this commit there was a bug that would thrown an error. This
change should allow force pushes by handling git fetching more
gracefully.
@github-actions
Copy link

github-actions bot commented Mar 4, 2026

Git Hygiene — All Commits Look Good!

@iwillig iwillig merged commit e32fba5 into main Mar 4, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant