Remove legacy settings support from formatting extensions #22182

Activity

1. Karthik Nadig (karthiknadig)

   self-assigned this

   on Oct 9, 2023
2. github-actions

   added

   triage-neededNeeds assignment to the proper sub-teamNeeds assignment to the proper sub-team

   on Oct 9, 2023
3. Karthik Nadig (karthiknadig)

   added

   needs PRReady to be worked onReady to be worked on

   feature-requestRequest for new features or functionalityRequest for new features or functionality

   and removed

   triage-neededNeeds assignment to the proper sub-teamNeeds assignment to the proper sub-team

   on Oct 9, 2023
4. Karthik Nadig (karthiknadig)

   changed the title [-]Remove legacy settings support from tool extensions[/-] [+]Remove legacy settings support from formatting extensions[/+] on Oct 9, 2023
5. Karthik Nadig (karthiknadig)

   closed this as completedon Oct 19, 2023
6. github-actions

   removed

   needs PRReady to be worked onReady to be worked on

   on Oct 19, 2023
7. Karthik Nadig (karthiknadig)

   added this to the October 2023 milestone on Oct 23, 2023
8. Karthik Nadig (karthiknadig)

   added

   verifiedVerification succeededVerification succeeded

   on Oct 23, 2023
9. github-actions

   locked as resolved and limited conversation to collaborators on Nov 23, 2023