WIP or un-WIP the current PR. * Add/Remove "WIP" tag * Edit title, adding/removing "WIP: ", "[WIP] ", and others
