Skip to content

Conversation

@juliusknorr
Copy link
Member

Signed-off-by: Julius Knorr <jus@bitgrid.net>
@juliusknorr juliusknorr merged commit 2cca6a1 into master Dec 17, 2025
5 checks passed
@juliusknorr juliusknorr deleted the juliusknorr-patch-1 branch December 17, 2025 13:18
@nickvergessen
Copy link
Member

Since GitHub is not case sensitive, we could also change that to lower both sides?

@juliusknorr
Copy link
Member Author

Already pending in nextcloud/pr-feedback-action#4

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