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
1df2fa96c2c6988f1a89472e6d9022b8da28ffc5
probot.github.io/_apps/delete-merged-branch.md
Brandon Keepers 1df2fa96c2 Sync data
2018-12-20 21:53:23 +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 47 2018-12-20 14:14:50 UTC 149
reactiveui
yoshuawuyts
apereo
moovweb
technicalpickles
verdaccio
Humanizr
aspnet
dotnet
EvanPurkhiser

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