Anna Bridge

An additional tidy up which is similar to what @0xc0170 mentioned is that if a PR is closed rather than merged we would like to be able to remove all...

@jd thanks for the quick response, actually deleting all the labels in that scenario would also work well.

Great! Many thanks, that will be very useful !

@jd so if I read the docs correctly would this be the right construction ? : ``` - name: remove labels if PR closed but not merged conditions: - closed...

Ah I'm still learning the YAML, many thanks

@pan- I think this probably comes under your domain now ?