From b9b45f347c7e67cf488d8dd6e20c8b848c595a3e Mon Sep 17 00:00:00 2001
From: Stepan Stipl <stepan@stipl.net>
Date: Wed, 15 Apr 2020 00:49:14 +0100
Subject: [PATCH] Fix Makefile to handle refs/pull git refs

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7a4d60e2..1ef7d52e 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ endif
 .DEFAULT_GOAL :=help
 
 GITHUB_REF ?= dev
-GIT_REF ?= $(subst refs/heads/,,$(subst refs/tags/,,$(GITHUB_REF)))
+GIT_REF ?= $(shell echo "$(GITHUB_REF)" | sed "s,refs/[^/]*/,," | tr -cd '[:alnum:]._')
 GITHUB_SHA ?= dev
 GIT_SHA ?= $(GITHUB_SHA)