Given that your key has expired.
$ gpg --list-keys
$ gpg --edit-key KEYID
Use the expire command to set a new expire date:
all: alfa.pdf | |
alfa.pdf: alfa.latex | |
latexmk -pdf $< | |
alfa.png: alfa.pdf | |
convert -density 150 -flatten $< $@ | |
clean: alfa.latex | |
latexmk -CA $< |
#!/usr/bin/env bash | |
set -euo pipefail | |
########## | |
# Config # | |
########## | |
readonly GIT_BRANCH='android-8.0.0_r12' | |
readonly API_LEVEL='26' |
#!/bin/sh | |
# | |
# For each ref, validate the commit. | |
# | |
# - It disallows deleting branches without a /. | |
# - It disallows non fast-forward on branches without a /. | |
# - It disallows deleting tags without a /. | |
# - It disallows unannotated tags to be pushed. |