wolkenschieber

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

	#!/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.