Creates update-page action #25

	on:
	pull_request:
	branches: [main]

	name: update-page-docs

	jobs:
	update-page-docs:
	runs-on: ubuntu-latest

	env:
	GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
	R_KEEP_PKG_SOURCE: yes


	steps:
	- uses: actions/checkout@v2

	- name: Setup System
	run: \|
	sudo apt-get install -y \
	libssl-dev \
	libcurl4-openssl-dev \
	libharfbuzz-dev \
	libfribidi-dev \
	libglpk40

	- uses: r-lib/actions/setup-r@v2
	with:
	r-version: 4.3.1

	- uses: r-lib/actions/setup-renv@v2
	with:
	cache-version: 2

	- uses: r-lib/actions/setup-pandoc@v2

	- name: Install devtools
	run: \|
	Rscript -e 'install.packages("devtools")'
	Rscript -e 'install.packages("knitr")'
	Rscript -e 'install.packages("rmarkdown")'
	Rscript -e 'install.packages("BiocManager")'
	Rscript -e 'BiocManager::install("BiocStyle")'

	- name: Prepare Git
	run: \|-
	git config user.name github-actions[bot]
	git config user.email github-actions[bot]@github.com
	git checkout --orphan gh-pages

	- name: build-vignettes
	run: \|
	Rscript -e 'devtools::load_all()'
	Rscript -e 'devtools::build_vignettes()'
	mv doc/PathwaySpace.html doc/index.html
	git add -f doc
	git commit -m 'Update github page' doc

	- name: Push docs to Github Pages
	run: \|-
	git status
	git push origin `git subtree split --prefix doc gh-pages`:gh-pages --force

Provide feedback