<@U053HNE90>: that would work... ssh to jenkins an...
# general
w
@bored-art-40741: that would work... ssh to jenkins and execute the last step of the release there