Stream: Coq devs & plugin devs

Topic: New github projects


view this post on Zulip Ali Caglayan (Oct 20 2021 at 21:35):

We now have access to the new github projects spreadsheets: https://github.com/orgs/coq/projects?type=beta

view this post on Zulip Théo Zimmermann (Oct 21 2021 at 05:57):

Yes, I think I registered us to the beta waiting list and we've been granted access last week. I've been meaning to look into this but been too busy. If you do, let us know what you find valuable and how you think we could use this.

view this post on Zulip Ali Caglayan (Oct 21 2021 at 12:00):

So far from what I have gathered, it is mainly an alternative/replacement for the existing card system for issues. With spreadsheets we can create our own fields and sort accordingly. I'm not sure how useful it will be so far, since I don't have any projects in mind that we can use it for.

view this post on Zulip Théo Zimmermann (Oct 21 2021 at 13:19):

Thanks, I think that what I was looking for was custom fields for issues, but the scope actually seems limited to projects, so that's less interesting.


Last updated: Apr 20 2024 at 07:01 UTC