[ 
https://issues.apache.org/jira/browse/DL-29?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15485933#comment-15485933
 ] 

ASF GitHub Bot commented on DL-29:
----------------------------------

Github user asfgit closed the pull request at:

    https://github.com/apache/incubator-distributedlog/pull/24


> The merge PR script should delete branches once the PR are merged
> -----------------------------------------------------------------
>
>                 Key: DL-29
>                 URL: https://issues.apache.org/jira/browse/DL-29
>             Project: DistributedLog
>          Issue Type: Bug
>            Reporter: Franck Cuny
>            Assignee: Sijie Guo
>            Priority: Minor
>             Fix For: 0.4.0
>
>
> It would be cleaner if the various branches created while merging the PR were 
> deleted once everything is done.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)

Reply via email to