From 1525936e363fb172c71df2f20408c6720a585d6e Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Fri, 11 Jun 2021 10:13:50 +0100
Subject: [PATCH] Update publish-docker.yaml

Former-commit-id: 7374e1c8aff4a6551fe9d80916f89d378aaae2a5 [formerly 624f79e528c7de174c41f4574b9e03ab1bec1f06 [formerly f9291680fe0584f3abb943ba781b7101819aaa40]]
Former-commit-id: 4598359eba200072daa8bd4322808c7f37dc23b4
Former-commit-id: 281b37cf075f765c4f180f53eba8837a3205a834
---
 .github/workflows/publish-docker.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/publish-docker.yaml b/.github/workflows/publish-docker.yaml
index c89e4e2f..28f80222 100644
--- a/.github/workflows/publish-docker.yaml
+++ b/.github/workflows/publish-docker.yaml
@@ -11,6 +11,8 @@ on:
   # Call this for testing from the REST API with '{"ref":"{tag}"}'
   # 'https://api.github.com/repos/{owner}/{repo}/actions/workflows/{workflow_id}/dispatches'
   workflow_dispatch:
+    inputs:
+      ref:
 
 jobs:
   build-and-push: