mirror of
https://github.com/sourcegit-scm/sourcegit.git
synced 2025-01-11 23:57:21 -08:00
feature: ignore remote.{REMOTE}.mirror
settings (#844)
(cherry picked from commit 9164f1b7340f68e00fea99bf9bac67734062f930)
This commit is contained in:
parent
7f268a6557
commit
093176d10b
1 changed files with 1 additions and 1 deletions
|
@ -12,7 +12,7 @@ namespace SourceGit.Commands
|
||||||
Context = repo;
|
Context = repo;
|
||||||
TraitErrorAsOutput = true;
|
TraitErrorAsOutput = true;
|
||||||
SSHKey = new Config(repo).Get($"remote.{remote}.sshkey");
|
SSHKey = new Config(repo).Get($"remote.{remote}.sshkey");
|
||||||
Args = "push --progress --verbose ";
|
Args = $"-c remote.{remote}.mirror=false push --progress --verbose ";
|
||||||
|
|
||||||
if (withTags)
|
if (withTags)
|
||||||
Args += "--tags ";
|
Args += "--tags ";
|
||||||
|
|
Loading…
Reference in a new issue