The 'vagrant git-update' command that updates all checked out git repositories should also run update.php in case a schema change has happened
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	yuvipanda
	Sep 27 2013, 3:48 PM

Description

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.

Version: unspecified
Severity: enhancement

Details

Reference: bz54707

Event Timeline

• bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 2:21 AM

• bzimport added a project: MediaWiki-Vagrant.

• bzimport set Reference to bz54707.

yuvipanda created this task.Sep 27 2013, 3:48 PM

It should update them only if doing a 'git fetch origin && git reset --hard origin/master' will not lose anything whatsoever.

This would be great.

There's vagrant git-update now :)

But it doesn't run update.php which sucks if you have a schema change. :-)

… actually it does. Marking as FIXED. Thanks!

bd808 moved this task from Backlog to Done on the MediaWiki-Vagrant board.Feb 26 2015, 12:55 AM

• Phabricator_maintenance removed a subscriber: yuvipanda.Jun 7 2017, 7:02 PM

The 'vagrant git-update' command that updates all checked out git repositories should also run update.php in case a schema change has happenedClosed, ResolvedPublicActions

Description

Details

Event Timeline

The 'vagrant git-update' command that updates all checked out git repositories should also run update.php in case a schema change has happened
Closed, ResolvedPublic
Actions