From 822264a65e50d3485dc4b4159ece025b8b3a3479 Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Fri, 6 Mar 2020 23:55:04 +0100
Subject: [PATCH] workflow: --dry-run for the deploy.yml debut (see #397)

---
 .github/workflows/deploy.yml | 4 +---
 TODO                         | 1 +
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 803f042da..a043d5916 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -16,8 +16,6 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-      with:
-        ref: 'v3.3.1'
     - name: Clone repository
       working-directory: build
       env:
@@ -39,4 +37,4 @@ jobs:
         git config --local user.name "$GITHUB_ACTOR"
         git add $FORMULA
         git commit -m "Update to ${{ github.ref }}"
-        git push origin master
+        git push --dry-run origin master
diff --git a/TODO b/TODO
index 1ce468bd2..0776abb00 100644
--- a/TODO
+++ b/TODO
@@ -16,6 +16,7 @@
 * any-of rule for views/groups (eg entity has A and any of B/C/D)
   - get -> all, exclude -> none
 * review prepare after clone and the others have been removed
+* unlock deploy.yml
 
 Next:
 * review pool<T>::remove, ::assign