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

Document tracking issue policy for continuing goals #228

Closed
nikomatsakis opened this issue Jan 15, 2025 · 3 comments
Closed

Document tracking issue policy for continuing goals #228

nikomatsakis opened this issue Jan 15, 2025 · 3 comments
Assignees
Milestone

Comments

@nikomatsakis
Copy link
Contributor

nikomatsakis commented Jan 15, 2025

We should add some documentation on resuming previous goals and in particular how to manage the tracking issue. We also should link any 2025h1 goals to 2024h2 as appropriate.

I think we can add a line to the TEMPLATE metadata like | tracking issue | none (if this is a continuing goal, put the existing tracking issue here, otherwise leave it: one will be created for you later).

@nikomatsakis nikomatsakis added this to the 2025h1 (meta) milestone Jan 15, 2025
@lqd lqd self-assigned this Jan 15, 2025
@lqd
Copy link
Member

lqd commented Jan 16, 2025

Goals that are continuations of the last period:

Some goals have changed scope/names between the 2 periods (e.g. a-mir-formality's goal), and for these it seems preferable to have a new tracking issue and not consider them as continuation.

(For goals that weren't continued, we could also mark their tracking issues with their period in the issue name, and not just via GH milestone, and/or also close them as completed, not planned, etc.)


Proposal:

  • we link the continuing goals to the previous period's tracking issue
  • we post a comment in each tracking issue of the continuing goals as a marker comment, prior to posting the new period's first update
  • and mention in the OP the periods to which this goal applies, and link to each marker period.
  • in addition to having all of the periods' associated github milestones, if we can have multiple milestones on github which I'm not sure; otherwise, just the most recent one is also fine: changing the milestone will also leave an update event in the github history / comments list, IIRC.

@nikomatsakis
Copy link
Contributor Author

@lqd can we close this issue? seems like yes.

@lqd
Copy link
Member

lqd commented Feb 19, 2025

I believe so: between this, the zulip discussions, and the work done in automation, it feels handled.

@lqd lqd closed this as completed Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants