Skip to content

Conversation

@imagejan
Copy link
Member

@imagejan imagejan commented Feb 7, 2022

Let's just check for HEAD to be more tolerant towards localized versions of git.

Dedicated to @lguerard.

Let's just check for HEAD to be more tolerant towards localized versions of git.

Dedicated to @lguerard.
@ctrueden ctrueden merged commit e6e0891 into main Feb 7, 2022
@ctrueden ctrueden deleted the head-branch-check branch February 7, 2022 15:57
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.

3 participants