Merge pull request #1337 from bettio/fix-ci-publish-conditional-logic

CI: publish-docs: fix conditional logic

CI was green but it wasn't publishing updated doc.
Actually, it wasn't even making a commit.

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

.github/workflows/publish-docs.yaml

@@ -121,12 +121,13 @@ jobs:
         if: github.repository == 'atomvm/AtomVM'
         working-directory: /home/runner/work/AtomVM/AtomVM/www
         run: |
-          git checkout Production
           git config --local user.email "[email protected]"
           git config --local user.name "AtomVM Doc Bot"
           ls -la doc/
           git add .
-          git diff --exit-code || git commit -m "Update Documentation"
+          git diff --exit-code Production || echo "Going to commit"
+          git diff --exit-code Production || git commit -m "Update Documentation"
+          git log -1
       - name: Push changes
         if: github.repository == 'atomvm/AtomVM'
         working-directory: /home/runner/work/AtomVM/AtomVM/www
@@ -140,4 +141,5 @@ jobs:
           echo "github.com ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQCj7ndNxQowgcQnjshcLrqPEiiphnt+VTTvDP6mHBL9j1aNUkY4Ue1gvwnGLVlOhGeYrnZaMgRK6+PKCUXaDbC7qtbW8gIkhL7aGCsOr/C56SJMy/BCZfxd1nWzAOxSDPgVsmerOBYfNqltV9/hWCqBywINIR+5dIg6JTJ72pcEpEjcYgXkE2YEFXV1JHnsKgbLWNlhScqb2UmyRkQyytRLtL+38TGxkxCflmO+5Z8CSSNY7GidjMIZ7Q4zMjA2n1nGrlTDkzwDCsw+wqFPGQA179cnfGWOWRVruj16z6XyvxvjJwbz0wQZ75XK5tKSb7FNyeIEs4TT4jk+S4dhPeAUC5y+bDYirYgM4GC7uEnztnZyaVWQ7B381AK4Qdrwt51ZqExKbQpTUNn+EjqoTwvqNj4kqx5QUCI0ThS/YkOxJCXmPUWZbhjpCg56i+2aB6CmK2JGhn57K5mj0MNdBXA4/WnwH6XoPWJzK5Nyu2zB3nAZp+S5hpQs+p1vN1/wsjk=" >> ~/.ssh/known_hosts
           git remote add push_dest "[email protected]:atomvm/atomvm_www.git"
           git fetch push_dest
+          git diff --exit-code push_dest/Production || echo "Going to push"
           git diff --exit-code push_dest/Production || git push --set-upstream push_dest Production