Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

repo: reporting incorrect license on homepage #11300

Closed
vince-fugnitto opened this issue Jun 15, 2022 · 1 comment · Fixed by #12424
Closed

repo: reporting incorrect license on homepage #11300

vince-fugnitto opened this issue Jun 15, 2022 · 1 comment · Fixed by #12424
Labels
repo issues specific to the repository

Comments

@vince-fugnitto
Copy link
Member

Bug Description:

I opened and merged #11295 in hopes of fixing the incorrectly reported license on our github repository homepage, but we might need to wait for a sync so keeping the issue opened for the time being (else we might need to contact the eclipsewebmaster):

image

cc @JonasHelming
@vince-fugnitto vince-fugnitto added the repo issues specific to the repository label Jun 15, 2022
@vince-fugnitto
Copy link
Member Author

Closed thanks to #12424.

@msujew msujew linked a pull request Apr 17, 2023 that will close this issue
Split license files for better recognition #12424
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
repo issues specific to the repository
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Split license files for better recognition eclipse-theia/theia
1 participant
@vince-fugnitto