busy-vase-39202
05/02/2023, 4:28 PMdocumentation and category:documentation tags? I have always used the latter for docs changes and am not certain under what circumstances the former should be used instead.bitter-ability-32190
05/02/2023, 4:28 PMdocumentation tag predates that change and tagged issuesbusy-vase-39202
05/02/2023, 4:37 PMcategory:documentation?bitter-ability-32190
05/02/2023, 4:38 PMbusy-vase-39202
05/02/2023, 4:40 PMbitter-ability-32190
05/02/2023, 4:41 PMdocumentation tag for that one.
Not saying it's an ideal situation. It's just the situation I see us inbusy-vase-39202
05/02/2023, 4:43 PMdocumentation? It seems odd that a PR meant to resolve a documentation issue would be tagged category:documentation. 🤷♀️bitter-ability-32190
05/02/2023, 4:45 PMdocumentation .
The category labels are for PR classification primarily.
Again, this is a crossroads of tags-for-people and tags-for-automation 🤷♂️busy-vase-39202
05/02/2023, 4:46 PMbitter-ability-32190
05/02/2023, 4:46 PMbitter-ability-32190
05/02/2023, 4:46 PMbusy-vase-39202
05/02/2023, 4:46 PMbitter-ability-32190
05/02/2023, 4:47 PMbusy-vase-39202
05/02/2023, 4:47 PMbitter-ability-32190
05/02/2023, 4:47 PMbusy-vase-39202
05/02/2023, 4:47 PMcurved-television-6568
05/02/2023, 5:55 PMcategory:.. tags for PRs only.bitter-ability-32190
05/02/2023, 5:56 PMhappy-kitchen-89482
05/02/2023, 5:59 PMdocumentation. category:* are for classifying the changelog, but they can also serve the regular purpose of a label.bitter-ability-32190
05/02/2023, 5:59 PMbusy-vase-39202
05/02/2023, 7:03 PMbusy-vase-39202
05/02/2023, 7:04 PM