Skip to content

Commit 1e7e81e

Browse files
committed
ci: revert to release-0.12 config
Since our latest changes do not work to publish changes in the docs repo, reverting to the `docs-workflow` contents of release-0.12 Signed-off-by: Luca Zaninotto <luca.zaninotto@secomind.com>
1 parent 83e86da commit 1e7e81e

2 files changed

Lines changed: 14 additions & 56 deletions

File tree

.github/actions/doc-publish/action.yaml

Lines changed: 0 additions & 46 deletions
This file was deleted.

.github/workflows/docs-ci.yaml

Lines changed: 14 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -87,19 +87,23 @@ jobs:
8787
docs: docs
8888
astarte-interfaces: edgehog-astarte-interfaces
8989
version: ${{ steps.compute-version.outputs.version }}
90-
- name: Setup SSH
90+
91+
- name: Commit files
92+
if: ${{ inputs.publish }}
93+
working-directory: docs
94+
run: |
95+
git config --local user.email "edgehog-machine@ispirata.com"
96+
git config --local user.name "Edgehog Bot"
97+
git add .
98+
git commit -m "Update Documentation"
99+
- name: Push changes
91100
if: ${{ inputs.publish }}
101+
working-directory: docs
92102
run: |
93103
eval `ssh-agent -t 300 -s`
94104
echo "${{ secrets.publish-key }}" | ssh-add -
95105
mkdir -p ~/.ssh/
96106
ssh-keyscan github.com >> ~/.ssh/known_hosts
97-
- name: Setup git
98-
if: ${{ inputs.publish }}
99-
run: |
100-
git config --global user.email "edgehog-machine@ispirata.com"
101-
git config --global user.name "Edgehog Bot"
102-
- uses: ./edgehog/.github/actions/doc-publish
103-
if: ${{ inputs.publish }}
104-
with:
105-
docs: docs
107+
git remote add topush "git@github.com:edgehog-device-manager/docs.git"
108+
git fetch topush
109+
git push topush main

0 commit comments

Comments
 (0)