Check number of command line args to push-db
Merge pull request #191 from OpenTreeOfLife/check-args-in-push

Check number of command line args to push-db