We now have access to the new github projects spreadsheets: https://github.com/orgs/coq/projects?type=beta
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.
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.
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: Dec 05 2023 at 04:01 UTC