|
|
@ -1,5 +1,7 @@
|
|
|
|
#!/usr/bin/env bash
|
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
set -euo pipefail;
|
|
|
|
|
|
|
|
|
|
|
|
readonly REPO={{ repo | quote }};
|
|
|
|
readonly REPO={{ repo | quote }};
|
|
|
|
readonly DEST={{ dest | quote }};
|
|
|
|
readonly DEST={{ dest | quote }};
|
|
|
|
readonly DEST_USER={{ owner | quote }};
|
|
|
|
readonly DEST_USER={{ owner | quote }};
|
|
|
@ -7,8 +9,6 @@ readonly DEST_GROUP={{ group | quote }};
|
|
|
|
readonly PREFIX={{ tag_prefix | quote }};
|
|
|
|
readonly PREFIX={{ tag_prefix | quote }};
|
|
|
|
readonly GPG_FINGERPRINT={{ gpg_fingerprint | quote }};
|
|
|
|
readonly GPG_FINGERPRINT={{ gpg_fingerprint | quote }};
|
|
|
|
|
|
|
|
|
|
|
|
set -euo pipefail;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cd "$DEST";
|
|
|
|
cd "$DEST";
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -d .git ]; then
|
|
|
|
if [ ! -d .git ]; then
|
|
|
|