HomePhorge

When repairing Git remote URIs, include credentials

Description

When repairing Git remote URIs, include credentials

Summary: See IRC. Currently, if a fetch fails, we may repair the remote URI incorrectly, replacing it with one without any credentials. Instead, retain credentials.

Test Plan: Faked it locally, got le-boom to verify on IRC.

Reviewers: btrahan

Reviewed By: btrahan

CC: aran

Differential Revision: https://secure.phabricator.com/D8055

Details

Provenance
epriestleyAuthored on Jan 23 2014, 5:23 PM
themackabuPushed on Mar 25 2025, 8:07 PM
Parents
rP14f070a0af79: Skip anon functions in symbol generation script
Branches
Unknown
Tags
Unknown

Event Timeline