wp-cli/wp-cli — pull request #1313 by danielbachhuber (2014-08-04 21:23:32+00:00)
Title: Switch php-cli-tools to dev-master

Now that we maintain php-cli-tools, we'll let WP-CLI users dogfood `dev-master` during the release cycle and use a tagged release in our release.