fix #1464 -- don’t pull in github_deploy by default

This is #1464.