Gitea close-on-push patch #8

Closed
opened 2024-08-14 11:28:45 +02:00 by adamm · 1 comment
Owner
No description provided.
adamm added this to the Devel project (default issues) project 2024-08-14 11:28:45 +02:00
Author
Owner

manual merge detection support should be enough here... maybe no need to the patch.

manual merge detection support should be enough here... maybe no need to the patch.
adamm closed this issue 2025-05-16 11:55:22 +02:00
adamm moved this to Invalid in Devel project (default issues) on 2025-05-16 11:55:59 +02:00
Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: adamm/autogits#8
No description provided.