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

Eliminate dependency on Raindrops #124

Merged
merged 2 commits into from
May 29, 2024
Merged

Eliminate dependency on Raindrops #124

merged 2 commits into from
May 29, 2024

Conversation

casperisfine
Copy link
Contributor

We're only using a small part of it, so it's much better to inline that functionality.

Raindrops is licensed under LGPL v2.1+, and Pitchfork under GPL 2+.
According to https://www.gnu.org/licenses/gpl-faq. it's authorized to redistribute it under GPL.

Ensure now symbol is leaked.
@casperisfine casperisfine force-pushed the pitchfork-utils branch 3 times, most recently from 6810063 to c072db1 Compare May 29, 2024 06:17
We're only using a small part of it, so it's much better to inline that
functionality.

Raindrops is licensed under LGPL v2.1+, and Pitchfork under GPL 2+.
According to https://www.gnu.org/licenses/gpl-faq.html#AllCompatibility
it's authorized to redistribute it under GPL.
@casperisfine casperisfine merged commit 0ce903a into master May 29, 2024
16 checks passed
@casperisfine casperisfine deleted the pitchfork-utils branch May 29, 2024 06:24
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