Instructions on the release branch instruct the user to run php migrate, not php artisan migrate. Not a big deal, but I happened to notice it.