feat: Add delete-branch option to delete PR branches after closing (#190)

* feat: Add `delete-branch` option to delete PR branches after closing

* Fix branch ref
This commit is contained in:
Alex Brazier
2021-01-15 11:49:38 +00:00
committed by GitHub
parent 87c2b794b9
commit 107018c400
4 changed files with 136 additions and 2 deletions

View File

@@ -56,6 +56,9 @@ inputs:
skip-stale-issue-message:
description: 'Skip adding stale message when marking an issue as stale.'
default: false
delete-branch:
description: 'Delete the git branch after closing a stale pull request.'
default: false
runs:
using: 'node12'
main: 'dist/index.js'