ci: call the infra-restart binary on deploy

Signed-off-by: Miquel Sabaté Solà <msabate@suse.com>

.github/workflows/ci.yml

@@ -74,3 +74,15 @@ jobs:
           docker login -u "${{ secrets.REGISTRY_USERNAME }}" -p "${{ secrets.REGISTRY_PASSWORD }}" ${{ secrets.REGISTRY_HOST }}
           docker push ${{ secrets.REGISTRY_HOST }}/${{ secrets.REGISTRY_USERNAME }}/operum:main
           docker logout ${{ secrets.REGISTRY_HOST }}
+
+      # The server provides a small script named `service-restart` which will do
+      # the right thing to pull the new image of the desired service and re-run
+      # it.
+      - name: Restart service with the new code
+        uses: garygrossgarten/github-action-ssh@release
+        with:
+          command: infra-restart operum
+          host: ${{ secrets.REMOTE_HOST }}
+          username: ${{ secrets.REMOTE_USERNAME }}
+          passphrase: ${{ secrets.REMOTE_PASSPHRASE }}
+          privateKey: ${{ secrets.PRIVATE_KEY}}