On Tuesday, 14 May 2019 at 07:49:58 UTC, Mike Franklin wrote: > While the "[WIP]" prefix still works, the preferred method is > to create a draft PR. See > https://github.blog/2019-02-14-introducing-draft-pull-requests/ > > Mike Cool!