From 07eba9a5f0699b2a29be1696236846ce6c2ec8c2 Mon Sep 17 00:00:00 2001
From: Laurent Laville <laurent.laville@gmail.com>
Date: Wed, 4 Oct 2023 07:03:17 +0000
Subject: [PATCH] allow to push other docker image tag than default

---
 .github/workflows/docker.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 3239e340..47908512 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -2,6 +2,13 @@ name: Docker
 
 on:
   workflow_dispatch:
+    # https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
+    inputs:
+      tag:
+        description: "The Docker Image Tag"
+        required: false
+        default: "latest"
+        type: string
   push:
     branches:
       - 'main'
@@ -31,4 +38,4 @@ jobs:
         uses: docker/build-push-action@v3
         with:
           push: true
-          tags: overtrue/phplint:latest
+          tags: overtrue/phplint:${{ github.event.inputs.tag }}