Last modified: 2014-03-12 21:13:29 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.
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!