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

PackageInfo.g: add License field #7

Closed
wants to merge 1 commit into from

Conversation

fingolfin
Copy link
Contributor

No description provided.

@fingolfin
Copy link
Contributor Author

@chsievers would you please consider merging this PR, and then making a release of the package? Thank you

@chsievers
Copy link
Owner

@fingolfin What's the reason for wanting a new release with only this formal change?
When I saw the patch, I judged it as nice-to-have, whenever a new version might come...
I'm also confused why one would want to remove comments about the format.

@fingolfin
Copy link
Contributor Author

The reason for wanting a new release is that otherwise, this change may never reach the GAP package distribution, or may only reach it in many years. But we would like to make use of the licensing information as soon as possible, and so do upstream packages (e.g. for Linux distributions such as Debian).

As to the removed comments inside PackageDoc: the Archive field was deprecated many years, and the comment was referring to that. It makes no sense these days and is actively misleading.

@fingolfin
Copy link
Contributor Author

@chsievers so, any reason for not merging this?

@fingolfin
Copy link
Contributor Author

@chsievers ping?

@fingolfin
Copy link
Contributor Author

The fact that this hasn't been processed after 4 months kind of underlines my point, I think ;-)

@fingolfin
Copy link
Contributor Author

@chsievers ping?

@fingolfin
Copy link
Contributor Author

@chsievers ping again?

I've also tried to email you. It looks as if this package is abandoned and we need to fork it.

@fingolfin
Copy link
Contributor Author

Dear @chsievers, unfortunately it seems you are busy with other things, which is perfectly understandable. Since we haven't gotten a reply from you to inquiries in the past couple years, we have now decided to fork FGA for the time being and ship our fork with GAP. Should you ever regain interest and time in maintaining FGA, I'd be happy to work with you on re-integrating the forks.

@fingolfin fingolfin closed this Apr 3, 2023
@fingolfin fingolfin deleted the mh/license branch April 3, 2023 21:32
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