Skip to content

license: add extension to LICENSE file #954

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.

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

Merged
merged 1 commit into from
Feb 19, 2019

Conversation

0xc0170
Copy link
Contributor

@0xc0170 0xc0170 commented Feb 18, 2019

The license file without the extension is shown as "raw" text file. The links do not work as they should. As this file
should point to files with non Apache licenses (the most used case) it should be viewed as markdown.

This should address the issue found here ARMmbed/mbed-os#9502 (comment)

Reviewing https://help.github.com/articles/licensing-a-repository/ (they also mention either no extension or .md extension). We rather use .md extension so license can be viewed on Github and be navigated (see the main LICENSE file in the root, overview of all license files in the tree).

@ARMmbed/mbed-os-maintainers

The license file without the extension is shown as "raw" text file. The links do not work as they should. As this file
should point to files with non Apache licenses (the most used case) it should be viewed as markdown.
@0xc0170
Copy link
Contributor Author

0xc0170 commented Feb 18, 2019

The file view without extension https://github.com/ARMmbed/mbed-os/blob/master/LICENSE

Copy link
Contributor

@AnotherButler AnotherButler left a comment

Choose a reason for hiding this comment

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

Thanks for the PR 👍

@AnotherButler AnotherButler merged commit ca513c0 into ARMmbed:development Feb 19, 2019
AnotherButler pushed a commit that referenced this pull request Feb 19, 2019
Apply changes from PR #954 to 5.11 to add markdown extension to license file references.
@0xc0170 0xc0170 deleted the license_md branch February 20, 2019 09:19
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