commit | 0f8230b528667f98ef2694c85d993cbbbb423fca | [log] [tgz] |
---|---|---|
author | Adrian DC <radian.dc@gmail.com> | Thu Aug 30 23:07:23 2018 +0200 |
committer | Adrian DC <radian.dc@gmail.com> | Wed Sep 05 22:41:06 2018 +0200 |
tree | 5d25ea5a8558a3581f584bf63e9a0509d27ff6de | |
parent | a94cf0c78155a7b5d67e64e81ebf185df6f18ae5 [diff] |
repopick: Warn about empty commits instead of failing * If a cherry-pick results in an empty commit (hints about git commit --allow-empty), we should warn instead of failing all repopicks Change-Id: I8410d7d02c4118c8072de609cf3c291e2d8523e6