https://bugzilla.wikimedia.org/show_bug.cgi?id=62627
Bug ID: 62627
Summary: Running vagrant git-update does not update remote
branch
Product: MediaWiki-Vagrant
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: General
Assignee: o...@wikimedia.org
Reporter: wctai...@gmail.com
CC: o...@wikimedia.org, yuvipa...@gmail.com
Web browser: ---
Mobile Platform: ---
After running vagrant git-update, git status reports that the local branch is
ahead of the remote branch by n commits. This is because run-git-update works
by calling "git pull $url", where $url is an HTTPS version of the remote's URL.
Instead of fetching updates from the remote for the local branch, this causes
git to fetch updates from the the repository specified by $url, and the remote
branch is not updated.
A potential solution may be to set the remote's URL to the HTTPS version, run
git pull, and then change it back to the original URL (which may be HTTPS or
SSH).
The remote branch can be manually updated afterwards by running "git remote
update". This needs to be done for each updated branch.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
