git alternatives: do not set credential manager (#2201)

This commit is contained in:
David Wettstein 2021-05-20 21:19:20 +02:00 committed by GitHub
parent 1d34992919
commit c139936930
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 2 deletions

View File

@ -13,7 +13,6 @@
"hash": "d6d48e16e3f0ecbc0a45d410ad3ebae15e5618202855ebe72cd9757e4d35b880"
}
},
"post_install": "git config --global credential.helper manager",
"bin": [
"cmd\\git.exe",
"cmd\\gitk.exe",

View File

@ -21,7 +21,6 @@
"hash": "871462ccd94315f490197163afe6903ba65b8460081579d8985c434b3531745d"
}
},
"post_install": "git config --global credential.helper manager",
"bin": "cmd\\git.exe",
"env_set": {
"GIT_INSTALL_ROOT": "$dir"