From 3a7232522b4e7e5452b7e78cb4beba0d89892ffe Mon Sep 17 00:00:00 2001
From: Steve Kowalik <steven@wedontsleep.org>
Date: Mon, 11 Nov 2019 18:36:24 +1100
Subject: [PATCH] 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.
---
 manage.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/manage.sh b/manage.sh
index a166e3b7..b6c6e089 100755
--- a/manage.sh
+++ b/manage.sh
@@ -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