search

w3c / horizontal-issue-tracker

Tools and pages to track horizontal issues
https://www.w3.org/PM/horizontal/
MIT License
6 stars 4 forks source link

Retitle issues when name changes? (updated) #34

Open samuelweiler opened 2 years ago

samuelweiler commented 2 years ago

When an underlying issue changes names, perhaps change the name of the tracking issue, preserving both names? For an example of this done manually, see: https://github.com/w3cping/tracking-issues/issues/111

This should probably be one-way-only - the tracker should only retitle tracking issues. The tracker should not retitling issues in WG repos.

plehegar commented 2 years ago

SGTM. @r12a , ok with making sure that the title of a tracking issue matches the title of the specification issue?

r12a commented 2 years ago

I think there was a time in the distant past where we might have deliberately changed the title of the tracker issue, but lately with all the automised notifications etc, i think it's probably no longer the case.

Question, though: what if the WG issue is renamed several times? (May happen with typo correction.) Should we keep the "was: ..." bit?

plehegar commented 2 years ago

Just did a test and GitHub will take care of keeping the history for us.

r12a commented 2 years ago

If we're to add '(updated)', i think it should be '(title updated)', to avoid confusion.