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.

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

use short license headers #217

Merged
merged 3 commits into from
Dec 6, 2024
Merged

use short license headers #217

merged 3 commits into from
Dec 6, 2024

Conversation

majewsky
Copy link
Contributor

@majewsky majewsky commented Dec 6, 2024

I've been meaning to do this for a long time, and Sandro confirmed for me that reuse also likes the short license headers.

I've been meaning to do this for a long time, and Sandro confirmed for
me that `reuse` also likes the short license headers.
@coveralls
Copy link

coveralls commented Dec 6, 2024

Coverage Status

coverage: 4.146% (-0.02%) from 4.162%
when pulling f16826d on short-license-headers
into 94f9781 on main.

@majewsky majewsky force-pushed the short-license-headers branch from 856241d to 486182d Compare December 6, 2024 13:28
@SuperSandro2000 SuperSandro2000 force-pushed the short-license-headers branch 3 times, most recently from ce395b1 to 12019f3 Compare December 6, 2024 14:09
@SuperSandro2000 SuperSandro2000 merged commit 97455da into main Dec 6, 2024
6 checks passed
@SuperSandro2000 SuperSandro2000 deleted the short-license-headers branch December 6, 2024 15:42
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