Last modified: 2014-03-12 21:13:29 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T56707, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 54707 - The 'vagrant git-update' command that updates all checked out git repositories should also run update.php in case a schema change has happened
The 'vagrant git-update' command that updates all checked out git repositorie...
Status: RESOLVED FIXED
Product: MediaWiki-Vagrant
Classification: Unclassified
General (Other open bugs)
unspecified
All All
: Unprioritized enhancement
: ---
Assigned To: Ori Livneh
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2013-09-27 15:48 UTC by Yuvi Panda
Modified: 2014-03-12 21:13 UTC (History)
3 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments

Description Yuvi Panda 2013-09-27 15:48:12 UTC
Should update mediawiki/, mediawiki/extensions/* to latest versions, only after detecting that they are not dirty (git diff empty) and they aren't on a different branch.
Comment 1 Yuvi Panda 2013-09-27 16:07:18 UTC
It should update them only if doing a 'git fetch origin && git reset --hard origin/master' will not lose anything whatsoever.
Comment 2 James Forrester 2014-03-12 20:55:57 UTC
This would be great.
Comment 3 Yuvi Panda 2014-03-12 21:08:06 UTC
There's vagrant git-update now :)
Comment 4 James Forrester 2014-03-12 21:11:59 UTC
But it doesn't run update.php which sucks if you have a schema change. :-)
Comment 5 James Forrester 2014-03-12 21:13:29 UTC
… actually it does. Marking as FIXED. Thanks!

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links