Skip to content

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented Jul 7, 2025

We need this for git merge. Only tested with tests so far.

Fixes #410

@Mic92 Mic92 mentioned this pull request Jul 7, 2025
@Mic92 Mic92 requested a review from wolfgangwalther July 7, 2025 10:07
Copy link
Collaborator

@wolfgangwalther wolfgangwalther left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like the approach!

Copy link
Collaborator

@wolfgangwalther wolfgangwalther left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Diff LGTM

@SuperSandro2000
Copy link
Collaborator

Did someone test this in the meantime?

@wolfgangwalther
Copy link
Collaborator

I did not.

@Mic92
Copy link
Owner Author

Mic92 commented Aug 29, 2025

Seems to work fine.

@Mic92 Mic92 merged commit 7b7b4da into master Aug 29, 2025
2 checks passed
@Mic92 Mic92 deleted the git-author branch August 29, 2025 13:30
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.

Merge fails when git is not configured (i.e. run as root)

4 participants