Apply some polish to manage.sh (#1284)

Use set -e in manage.sh for some safety, and allow the remote to be
overridden for those of us who have different setups, and switch to
using flake8 for checks like travis does.
This commit is contained in:
Steve Kowalik
2019-11-11 18:36:24 +11:00
committed by GitHub
parent 05b9ecb471
commit 3a7232522b
+4 -3
View File
@@ -1,6 +1,8 @@
#!/bin/bash
# -*- coding: utf-8 -*-
set -e
function publish {
bump
readme
@@ -8,7 +10,7 @@ function publish {
}
function check {
pep8 --ignore=E501 github scripts doc *.py || exit
flake8
}
function fix_headers {
@@ -56,8 +58,7 @@ function push {
git tag -m "Version $version" v$version
git push origin master
git push --tags
git push --tags ${REMOTE:-origin} master
}
$1