diff options
author | 2021-05-31 14:51:13 -0500 | |
---|---|---|
committer | 2021-06-02 10:12:01 +0900 | |
commit | 72739680fc912c6e8dedaf06af4969f8e52ffb4d (patch) | |
tree | 6623d0a00a8fa9cc11c491aecb49bc4ac8046a62 /ref-filter.h | |
parent | push: create new get_upstream_ref() helper (diff) | |
download | tgif-72739680fc912c6e8dedaf06af4969f8e52ffb4d.tar.xz |
push: return immediately in trivial switch case
There's no need to break when nothing else will be executed.
Will help next patches.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ref-filter.h')
0 files changed, 0 insertions, 0 deletions