Skip to content

Conversation

@joan38
Copy link
Owner

@joan38 joan38 commented Aug 13, 2025

Fixes #120

@joan38 joan38 enabled auto-merge (rebase) August 13, 2025 05:00
@joan38 joan38 merged commit ab44d7e into main Aug 13, 2025
2 checks passed
@joan38 joan38 deleted the custom-git-root branch August 13, 2025 05:06
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.

Make git repository root overridable?

2 participants