When releasing, recommend to check Travis CI results before tagging