Closed ericphanson closed 7 months ago
bump @DilumAluthge
Should we just rename our label (on the General repo) and remove the colon character?
I think it's fine, it's nice to not have 2 labels or have to delete the old ones, and it just needs an extra quote
Bump- would be nice if folks with triage access could help here!
I'm not thrilled by the fact that we now have to run AutoMerge when labels are added or removed. But, off the top of my head, I can't think of an alternate approach.
We only run when some specific labels are added or removed, not any labels!
...by turning off the distance check whenever the label is applied. The github action should be updated to activate when labels are added, for best effect, as shown in the example yaml.