From 1837a4bae8497f71fb8f01305c3ace1e3dedcdba Mon Sep 17 00:00:00 2001 From: dzdidi Date: Thu, 25 Jan 2024 08:01:43 +0000 Subject: [PATCH] Add remote url to git push out Signed-off-by: dzdidi --- src/git-remote-pear.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/git-remote-pear.js b/src/git-remote-pear.js index 57fc805..f140492 100755 --- a/src/git-remote-pear.js +++ b/src/git-remote-pear.js @@ -96,14 +96,14 @@ async function talkToGit (refs, drive, repoName, rpc) { if (isDelete) { command = 'd-branch' } else if (isForce) { + console.warn('To', url) await git.push(src, isForce) src = src.replace('+', '') command = 'f-push' - console.warn('To', url) } else { + console.warn('To', url) await git.push(src) command = 'push' - console.warn('To', url) } const publicKey = home.readPk()