Completed
Push — add/clean-labels ( 576496 )
by Jeremy
11:23
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.48
▶   ± 0
Head
Jeremy Herve  
Gardening: new task to clean up labels once a PR has been merged
Base
Foteini Giannaropoulou  
Connection: Handle reconnecting a userless connection (#19226)