diff options
author | John Cai <jcai@gitlab.com> | 2020-05-21 03:21:56 +0300 |
---|---|---|
committer | John Cai <jcai@gitlab.com> | 2020-05-21 03:21:56 +0300 |
commit | 0a1723b87c4145753696e2394846e5808be0bc7b (patch) | |
tree | 81e4c30b4d0a9a06bde5cdfd54b2789463bd40f5 | |
parent | 100d1926b1daeb12459ffd692f833c839cc19da9 (diff) | |
parent | e2d9b596b2c8a597a95269d05ec0921510b573c7 (diff) |
Merge branch 'zj-remove-delete-source-branch-danger' into 'master'
danger: Remove warning to delete branches post-merge
See merge request gitlab-org/gitaly!2201
-rw-r--r-- | danger/merge_request/Dangerfile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/danger/merge_request/Dangerfile b/danger/merge_request/Dangerfile index 38cb859b0..f35f88f6d 100644 --- a/danger/merge_request/Dangerfile +++ b/danger/merge_request/Dangerfile @@ -10,8 +10,4 @@ if gitlab.mr_title.length > 72 warn "The title of this merge requests it too long" end -unless gitlab.mr_json["force_remove_source_branch"] - warn "The source branch can be removed after the merge request is merged, please consider setting this option" -end - # vim: ft=ruby |