Fixed broken pipelines #92

	name: Rebase Develop and Docs to Main
	on:
	push:
	branches:
	- main
	pull_request:
	types:
	- closed

	jobs:

	on_push:
	if: github.event_name == 'push'
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0
	token: ${{ secrets.BOT_ACCESS_TOKEN }}

	- name: Set up Git
	run: \|
	git config user.email "[email protected]"
	git config user.name "Reetta"
	git fetch --all

	- name: Rebase Docs on Main
	run: \|
	git checkout docs
	git rebase origin/main
	git push --force origin docs

	- name: Rebase Develop on Main
	run: \|
	git checkout develop
	git rebase origin/main
	git push --force origin develop

	on_pull_request:
	if: github.event.pull_request.merged == 'true'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0
	token: ${{ secrets.BOT_ACCESS_TOKEN }}

	- name: Set up Git
	run: \|
	git config user.email "[email protected]"
	git config user.name "Reetta"
	git fetch --all

	- name: Rebase Docs on Main
	run: \|
	git checkout docs
	git rebase origin/main
	git push --force origin docs

	- name: Rebase Develop on Main
	run: \|
	git checkout develop
	git rebase origin/main
	git push --force origin develop

Provide feedback