Skip to content

Add root MIT license#153

Merged
raphael merged 2 commits into
mainfrom
add-root-license
Jul 5, 2026
Merged

Add root MIT license#153
raphael merged 2 commits into
mainfrom
add-root-license

Conversation

@raphael

@raphael raphael commented Jun 3, 2026

Copy link
Copy Markdown
Member

Summary

  • Adds a root MIT LICENSE file so GitHub can detect the repository license.
  • Aligns repository metadata with the README's existing MIT license statement.

Test plan

  • Not run; documentation/license metadata only.

Copilot AI review requested due to automatic review settings June 3, 2026 23:39

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Adds a repository-root MIT LICENSE file so GitHub can reliably detect the project license, aligning the repo’s licensing metadata with the README’s stated MIT licensing.

Changes:

  • Add a root-level MIT LICENSE file using the standard MIT license text.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@raphael raphael force-pushed the add-root-license branch from 22818ed to 0944f24 Compare June 10, 2026 18:26
@raphael raphael enabled auto-merge (squash) July 5, 2026 15:33
Copilot AI review requested due to automatic review settings July 5, 2026 15:33

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 2 comments.

Comment thread LICENSE
@@ -0,0 +1,21 @@
The MIT License (MIT)
Comment thread LICENSE
@@ -0,0 +1,21 @@
The MIT License (MIT)

Copyright (c) 2026 Raphael Simon and Goa contributors
@raphael raphael merged commit f0758bc into main Jul 5, 2026
3 checks passed
@raphael raphael deleted the add-root-license branch July 5, 2026 15:38
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.

2 participants