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 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 PM