Skip to content

Conversation

@rhugonnet
Copy link
Member

@rhugonnet rhugonnet commented Nov 21, 2024

This tiny PR moves the license header files to a different folder.

Since #617, GitHub confuses the license file due to the license header file being in root, and shows a weird message as a result.

Screenshot from 2024-11-20 16-15-18

Solving it by simply moving the header + script to .github/scripts with other dev resources used for pre-commit or CI!

@rhugonnet
Copy link
Member Author

FYI @vschaffn for the small change 😉

@rhugonnet rhugonnet merged commit e43d533 into GlacioHack:main Nov 21, 2024
17 checks passed
@rhugonnet rhugonnet deleted the move_license_header_materials branch November 21, 2024 02:03
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.

1 participant