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

Stop requiring Status in package metadata; we now collect this information centrally #5472

Merged
merged 1 commit into from
Jul 18, 2023

Conversation

fingolfin
Copy link
Member

Likewise for CommunicatedBy and AcceptDate.

Motivation: this data logically does not belong with the package metadata controlled by package authors. Instead it should be stored in a central location managed by the GAP team.

For example, in order to be accepted for distribution, currently GAP package authors must provide a proper release of their package, which then is reviewed. But that release should not yet have status accepted resp. deposited... so strictly speaking, right after the package is officially accepted, a second release with the updated status should be made right away.

Indeed, for now the plan is to have this central location be in the GapWWW repository, see gap-system/GapWWW#330, simply because the website is the only place we need this data right now. We can of course change this in the future, but for now this way requires the least amount of work.

Likewise for `CommunicatedBy` and `AcceptDate`.

Motivation: this data logically does not belong with the package
metadata controlled by package authors. Instead it should be
stored in a central location managed by the GAP team.
@fingolfin fingolfin merged commit b73b40f into gap-system:master Jul 18, 2023
@fingolfin fingolfin deleted the mh/drop-pkg-status branch July 18, 2023 16:00
@fingolfin fingolfin added the topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker) label Jan 23, 2024
@fingolfin fingolfin changed the title Stop requiring Status in package metadata Stop requiring Status in package metadata; we now collect this information centrally Jan 23, 2024
@fingolfin fingolfin added the release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes label Jan 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: packages issues or PRs related to package handling, or specific to a package (for packages w/o issue tracker)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants