mirror of
https://github.com/zhigang1992/probot.github.io.git
synced 2026-03-27 22:54:30 +08:00
443 B
443 B
title, description, slug, screenshots, authors, repository, stars, updated
| title | description | slug | screenshots | authors | repository | stars | updated | ||
|---|---|---|---|---|---|---|---|---|---|
| Work In Progress | Prevent merging of Pull Requests with "WIP" in the title | wip |
|
|
gr2m/wip-bot | 9 | 2017-09-17 00:18:55 UTC |
If you don’t want a pull request to be merged accidentally, add the word "wip" or "WIP" to its title and WIP bot will set its status to error. That’s all :)