[import-spec-repo] Document way to push to Heroku DB.