kylefang/probot.github.io
1
0
Fork 0
mirror of https://github.com/zhigang1992/probot.github.io.git synced 2026-04-29 12:45:27 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
7ad5804488862a79f0165fac13b6f93d3f79a757
probot.github.io/_apps/delete-merged-branch.md
Brandon Keepers c37acfd2b9 Sync data
2018-07-27 20:28:21 +00:00

1.6 KiB
Raw Blame History

title, description, slug, screenshots, authors, repository, host, stars, updated, installations, organizations
title description slug screenshots authors repository host stars updated installations organizations
Delete merged branch No more manually deleting merged branches, this lovely app does it for you. delete-merged-branch
https://user-images.githubusercontent.com/24505883/42899819-7c05a47a-8ac7-11e8-8be9-9e3888f1bedc.gif
svanboxel
svanboxel/delete-merged-branch https://delete-merged-branch.now.sh 2 2018-07-20 05:48:11 UTC 18
empirical-org
buschtoens
SUSE
Richienb
WeTransfer
Minipada
ShiKaiWi
SvanBoxel

Delete merged branch

A GitHub app that automatically deletes a branch after it's merged. That's it, enjoy!

Application logic

Only PRs that actually get approved and merged will be automatically flagged for deletion. The usual flow will be as follows:

  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 app.

The following flow doesn't result in deletion of the branch:

  1. Author opens a PR from a feature branch.
  2. PR gets reviewed and CI runs.
  3. CI fails/PR gets declined.
  4. Reviewer or author decides to close the PR without merging it.

Installation

Want to try it out? You can install the app directly from this page.

See readme.md if you would like to run your own instance of this app.

Feedback?

Please open an issue