diff options
Diffstat (limited to 'docs/content/doc/usage/pull-request.en-us.md')
| -rw-r--r-- | docs/content/doc/usage/pull-request.en-us.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/content/doc/usage/pull-request.en-us.md b/docs/content/doc/usage/pull-request.en-us.md index 39cff7f651..33743f8eac 100644 --- a/docs/content/doc/usage/pull-request.en-us.md +++ b/docs/content/doc/usage/pull-request.en-us.md @@ -3,7 +3,7 @@ date: "2018-06-01T19:00:00+02:00" title: "Usage: Pull Request" slug: "pull-request" weight: 13 -toc: true +toc: false draft: false menu: sidebar: @@ -19,7 +19,7 @@ menu: Marking a pull request as being a work in progress will prevent that pull request from being accidentally merged. To mark a pull request as being a work in progress, you must prefix its title by `WIP:` or `[WIP]` (case insensitive). Those values are configurable in your `app.ini` file : -``` +```ini [repository.pull-request] WORK_IN_PROGRESS_PREFIXES=WIP:,[WIP] ``` |