From 8c5b9e5dddef264cb5467ddc716dddecdb7cd807 Mon Sep 17 00:00:00 2001 From: dzdidi Date: Mon, 15 Jan 2024 23:53:37 +0000 Subject: [PATCH] disable force push Signed-off-by: dzdidi --- src/git-remote-pear.js | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/git-remote-pear.js b/src/git-remote-pear.js index f029667..ce4bd9f 100755 --- a/src/git-remote-pear.js +++ b/src/git-remote-pear.js @@ -77,7 +77,12 @@ async function talkToGit (refs, drive) { let [src, dst] = chunk.split(':') src = src.split(' ')[1] const isForce = src.startsWith('+') - if (isForce) src = src.slice(1) + if (isForce) { + src = src.slice(1) + console.warn('force push is disabled') + process.stdout.write('\n\n') + process.exit(0) + } // TODO: write to something console.warn('src:', src, 'dst:', dst)