PR: make sure project has manual merge detection on #38

Open
opened 2025-05-16 11:53:54 +02:00 by adamm · 0 comments
Owner
No description provided.
adamm added this to the Devel project (default issues) project 2025-05-16 11:53:54 +02:00
adamm moved this to In Progress in Devel project (default issues) on 2025-05-16 12:56:13 +02:00
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#38
No description provided.