diff options
author | Mark Fletcher <markglenfletcher@googlemail.com> | 2017-10-23 15:26:52 +0300 |
---|---|---|
committer | Mark Fletcher <markglenfletcher@googlemail.com> | 2017-10-23 15:26:52 +0300 |
commit | c626fa257adc05c416f387a906f76f7bb7bf0438 (patch) | |
tree | bc50e78bb61c2fd1aab8a74e535e21335c6dcb51 /doc/user | |
parent | 9931ef4a8a9fa9544729fe39cb3572d278819c8d (diff) |
Fix a small typo in the delete merged branches documentation
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/project/repository/branches/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/project/repository/branches/index.md b/doc/user/project/repository/branches/index.md index e1d3aebb8b3..26c55891b3c 100644 --- a/doc/user/project/repository/branches/index.md +++ b/doc/user/project/repository/branches/index.md @@ -37,7 +37,7 @@ This feature allows merged branches to be deleted in bulk. Only branches that have been merged and [are not protected][protected] will be deleted as part of this operation. -It's particularly useful to clean up old branches that were not deleting +It's particularly useful to clean up old branches that were not deleted automatically when a merge request was merged. [ce-6449]: https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/6449 "Add button to delete all merged branches" |