[sr-dev] git:andrei/path: exec(s): use ser_append_branch() instead of append_branch( )