kylefang/probot.github.io
1
0
Fork 0
mirror of https://github.com/zhigang1992/probot.github.io.git synced 2026-01-12 17:33:05 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
3e75d76a45fb08cfda43ef483a8669e61f0bd13b
probot.github.io/_apps/delete-merged-branch.md
Brandon Keepers 3e75d76a45 Sync data
2019-01-16 22:03:02 +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 60 2019-01-11 07:55:19 UTC 522
jumo
thinktandem
jonasbn
keeganstothert
123fahrschule
uniper
zhigang1992
ad-m
dgroup
Oxxyg33n

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