10up/varying-vagrant-vagrants — pull request #252 by adamsilverstein (2014-01-13 17:49:48+00:00)
Title: Fix `wp core update` command

I believe `update` is the correct wp-cli command here.