From 4913d5fb4cb8dce0348b0e7f6bdebb0c6eea4e97 Mon Sep 17 00:00:00 2001 From: Sebass van Boxel Date: Wed, 18 Jul 2018 21:05:58 +0200 Subject: [PATCH] Replaced banned word 'bot' --- _apps/delete-merged-branch.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_apps/delete-merged-branch.md b/_apps/delete-merged-branch.md index 93e51d4..2a4caa4 100644 --- a/_apps/delete-merged-branch.md +++ b/_apps/delete-merged-branch.md @@ -1,6 +1,6 @@ --- title: Delete merged branch -description: No more manually deleting merged branches, this lovely bot does it for you. +description: No more manually deleting merged branches, this lovely app does it for you. slug: delete-merged-branch screenshots: - https://user-images.githubusercontent.com/24505883/42899819-7c05a47a-8ac7-11e8-8be9-9e3888f1bedc.gif @@ -19,7 +19,7 @@ Only PRs that actually get approved and merged will be automatically flagged for 1. Author opens a PR from a feature branch. 2. PR gets reviewed and CI runs. 3. Reviewer or author merges the PR. - 4. The feature branch gets deleted by this bot. + 4. The feature branch gets deleted by this app. The following flow doesn't result in deletion of the branch: 1. Author opens a PR from a feature branch.