diff --git a/github2gitea-mirror b/github2gitea-mirror index 28c1007..5064541 100755 --- a/github2gitea-mirror +++ b/github2gitea-mirror @@ -1,4 +1,7 @@ -#!/bin/bash -e +#!/bin/bash + +set -euo pipefail + # Mirror starred Github repos to a Gitea Organization CURL="curl -f"