Retitle issues when name changes? (updated)

[samuelweiler]

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:
w3cping/tracking-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]

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

[r12a]

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]

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

[r12a]

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