[sr-dev] git:master: core: append_branch(): avoid identical branches