DEV Community

Discussion on: GitHub draft PRs are here!

Collapse
 
darkwiiplayer profile image
𒎏Wii 🏳️‍⚧️

Hasn't gitlab supported this for a while now? IIRC it actually has a checkbox for WIP pull requests and warns you before trying to merge one, lets you filter by WIP, etc.

Collapse
 
defman profile image
Sergey Kislyakov

It has. There's a checkbox that adds WIP: to the PR title and prevent merging it until you remove it from the title.