Proposal: activating GitHub Projects tool on SageMath repo
Vincent Macri
I would like to propose that we activate GitHub Projects on the sagemath/sage GitHub repo.
GitHub Projects is a GitHub feature that allows for the organization of related issues, and helps to track the overall progress on a group of issues. Some examples of how I think it would be useful to us:
- To track long-term meta issues where we don't want to have to rely on a single person updating a single meta-issue.
- For example, we could setup a project to track progress on typing annotations in the Sage library, breaking down progress by directories in the Sage source tree and how far along typing annotations are for that part of Sage.
- To track progress on larger projects in SageMath, such as the implementation of Sage Enhancement Proposals.
- To use during Sage Days: each Sage Days could create a GitHub project for the event to track everything that happens during the event
- I know some Sage Days create a new GitHub label, but that requires a high level of GitHub permissions to create, and then clutters the list of labels afterwards
- More experienced participants working with others on some larger development task at Sage Days could create a GitHub Project outlining the various subtasks that need to be completed, to provide more structure to newer contributors in their group about what needs to be done, and plan who is going to work on each subtask.
- A secondary benefit of this is that it provides an easy record of what was worked on during the Sage Days event. As a Sage Days organizer, I think this would be useful for giving us an easy way to point to concrete things that were accomplished at Sage Days as evidence of the usefulness of Sage Days when applying for funding to host future Sage Days events.
I'll also note that GitHub Projects is already enabled for the sagemath GitHub organization, so technically we can do all these things already, but it's much easier to find and use if it's enabled at the repository level. GitHub Projects is also already enabled for some of other of our repositories. I expect that GitHub Projects will primarily be used for larger development tasks where multiple Sage developers need to coordinate their work.
I've raised this issue in a previous sage-devel thread, and more recently on our Zulip where David Roe recommended having a formal discussion and vote on sage-devel about this.
I would like to give people a week to discuss, after which I will call for a vote.
Doris Behrendt
I think it is a good idea. I'm already using this tool in other projects. It's similar to a Kanban board, and you can link directly within GitHub.
-- Doris
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/sage-devel/5dbe524d-d2b6-4c9e-923c-f92e081e2a8b%40ucalgary.ca.