Merge pull request #1808 from leemyongpakva/1.7.x #575

	name: 'Update DevDocs Site'

	# Found on https://stackoverflow.com/a/67059629/13275

	on:
	push:
	branches:
	- 1.7.x

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	notify:
	name: 'Notify DevDocs Repo'
	runs-on: ubuntu-latest

	# Use the Bash shell regardless whether the GitHub Actions runner is ubuntu-latest, macos-latest, or windows-latest
	defaults:
	run:
	shell: bash

	steps:
	- name: Github REST API Call
	env:
	CI_TOKEN: ${{ secrets.CI_TOKEN }}
	PARENT_REPO: prestashop/devdocs-site
	PARENT_BRANCH: main
	WORKFLOW_ID: 11876090
	run: \|
	curl -fL --retry 3 -X POST -H "Accept: application/vnd.github.v3+json" -H "Authorization: token ${{ env.CI_TOKEN }}" https://api.github.com/repos/${{ env.PARENT_REPO }}/actions/workflows/${{ env.WORKFLOW_ID }}/dispatches -d '{"ref":"${{ env.PARENT_BRANCH }}"}'

Provide feedback