From 0b403ee582d14a79ef82f18c2a65910d38a0d832 Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Fri, 28 Feb 2025 10:32:32 +0400 Subject: [PATCH] merge est fait par un script --- bash/src/pman.sh | 76 ++++++++++++++++++++++++++++++++++++++---------- bin/pdev | 72 ++++++++++++++++++++++++++++++--------------- bin/prel | 16 +++++----- 3 files changed, 118 insertions(+), 46 deletions(-) diff --git a/bash/src/pman.sh b/bash/src/pman.sh index f009a54..9356f85 100644 --- a/bash/src/pman.sh +++ b/bash/src/pman.sh @@ -87,23 +87,34 @@ function _scripta() { } function _script_push_branches() { - local origin branch - _scripte einfo "push branches" + [ ${#push_branches[*]} -gt 0 ] || return + [ -n "$Origin" ] || Origin=origin + git_have_remote "$Origin" || return + + local branch cmd remote rbranch for branch in "${push_branches[@]}"; do - origin="$Origin" - [ -n "$origin" ] || setx origin=git_get_branch_remote "$branch" - [ -n "$origin" ] || origin=origin - setx rbranch=git_get_branch_rbranch "$branch" "$origin" - if [ -n "$rbranch" ]; then - rbranch="${rbranch#refs/remotes/$origin/}" - _scripta <"$script" _scripta <