[sr-dev] git:master: exec(k): append_branch() api changes