Skip to content

Commit

Permalink
clean up work branches during milestone builds
Browse files Browse the repository at this point in the history
  • Loading branch information
ddollar committed Jul 20, 2016
1 parent 24b0c4e commit 5ae432d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions bin/milestone-pr
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ merge() {
git rebase $base || (git rebase --abort; git checkout $base; die "could not rebase: $pr")
git checkout $base
git merge --no-ff --no-edit -m "[merge] pull request #$pr" $work
git branch -d $work
}

pr_body() {
Expand Down

0 comments on commit 5ae432d

Please sign in to comment.