https://bugzilla.wikimedia.org/show_bug.cgi?id=65104

            Bug ID: 65104
           Summary: MediaWiki-Vagrant is changing my remotes
           Product: MediaWiki-Vagrant
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: Unprioritized
         Component: General
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected], [email protected],
                    [email protected]
       Web browser: ---
   Mobile Platform: ---

Introduced in I04cdee7b83e2b1c3503f4b73c902d08ec7028904 I believe.

I have a unique-ish setup, in which my `origin` remote points to either the
github repo, or the https://gerrit.wikimedia.org repo, and the `gerrit` remote
is over ssh.

I do this since my school blocks ssh to gerrit since it uses a non-standard
port (that's another bug somewhere), so I always pull through `origin`.

Now whenever I run $ vagrant provision; it "fixes" my remotes, which leaves my
setup broken.

There should be some kind of option to leave the remotes alone. I tried leaving
my username blank (as the prompt claims this would do it "anonymous"-ly), but
that left it in an even more broken state, pointing to
"ssh://@gerrit.wikimedia.org:29418/mediawiki/extensions/Flow.git"

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to