Stream: Coq Platform devs & users

Topic: GitHub issue management

Karl Palmskog (Sep 30 2020 at 15:01):

as a start, maybe we can at least introduce some labels for issues in the repo? Now it seems like a haphazard conglomeration of different problems

Théo Zimmermann (Sep 30 2020 at 15:14):

Any suggestion for the labels? It looks like one of them needs to be "package inclusion", one might be "policy discussion". What about the others?

Karl Palmskog (Sep 30 2020 at 15:16):

• installation
• documentation
• windows
• linux
• macos
• configuration
• distribution (e.g., snap issue)

Karl Palmskog (Sep 30 2020 at 15:20):

also:

• close https://github.com/coq/platform/issues/3 as no longer relevant, nearly everything is in other issues
• https://github.com/coq/platform/issues/31 and https://github.com/coq/platform/issues/14 are near duplicates, I suggest making 31 a "CoRN-only" issue

Théo Zimmermann (Sep 30 2020 at 15:29):

What about https://github.com/coq/platform/issues/2?

Karl Palmskog (Sep 30 2020 at 15:30):

hmm, maybe policy or advertising or outreach

Karl Palmskog (Sep 30 2020 at 15:35):

also, I believe these can now be closed since the packages are part of the beta release:

• https://github.com/coq/platform/issues/24
• https://github.com/coq/platform/issues/26

Last updated: Jun 03 2023 at 05:01 UTC