Page Menu
Home
Phabricator
Search
Configure Global Search
Log In
Paste
P8871
git fetch over anon HTTPS, git push over SSH
Active
Public
Actions
Authored by
CDanis
on Aug 6 2019, 2:06 PM.
Edit Paste
Archive Paste
View Raw File
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
Gerrit
Referenced Files
F29975854: raw.txt
Aug 6 2019, 2:06 PM
2019-08-06 14:06:45 (UTC+0)
Subscribers
None
✔️ cdanis@evebox ~/work/gits/puppet 🕙☕ tail -n8 ~/.gitconfig
[
url
"https://gerrit.wikimedia.org/r/"
]
insteadOf
=
ssh://cdanis@gerrit.wikimedia.org:29418/
[
url
"ssh://cdanis@gerrit.wikimedia.org:29418/"
]
pushInsteadOf
=
https://gerrit.wikimedia.org/r/
# This looks mysterious, but is what stops a cloned-via-SSH repo
# from being rewritten to HTTPS for push.
[
url
"ssh://cdanis@gerrit.wikimedia.org:29418/"
]
pushInsteadOf
=
ssh://cdanis@gerrit.wikimedia.org:29418/
✔️ cdanis@evebox ~/work/gits/puppet 🕙☕ git remote get-url origin
https://gerrit.wikimedia.org/r/operations/puppet
✔️ cdanis@evebox ~/work/gits/puppet 🕙☕ git remote get-url origin --push
ssh://cdanis@gerrit.wikimedia.org:29418/operations/puppet
Event Timeline
CDanis
created this paste.
Aug 6 2019, 2:06 PM
2019-08-06 14:06:45 (UTC+0)
CDanis
changed the title of this paste from untitled to
git fetch over anon HTTPS, git push over SSH
.
CDanis
added a project:
Gerrit
.
Mar 2 2021, 2:17 PM
2021-03-02 14:17:01 (UTC+0)
Log In to Comment