Add GNOME development guide and history titles #7

	name: CI

	on:
	push:
	branches: [ main ]

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-22.04
	# Check out latest commit
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2
	name: Checkout src repo
	with:
	path: src
	fetch-depth: 0
	ref: main
	submodules: recursive
	- name: Setup Hugo
	uses: peaceiris/actions-hugo@v2
	with:
	hugo-version: '0.102.3'
	extended: true
	- name: Build
	run: \|
	cd src
	hugo
	# Checkout destination repository
	- name: Checkout dest repo
	uses: actions/checkout@v2
	with:
	path: dest
	fetch-depth: 0
	ref: gh-pages

	# Commit and push changes
	- name: Copy website built from src/public
	working-directory: dest
	run: \|
	rm -rf *
	yes \| cp -rf ../src/public/* .
	# Commit and push changes
	- name: Copy website built from src/public
	working-directory: dest
	run: \|
	rm -rf *
	yes \| cp -rf ../src/public/* .
	# Commit and push changes
	- name: Commit website updates
	working-directory: dest
	run: \|
	git config --global user.name github-actions
	git config --global user.email [email protected]
	git add .
	git diff-index --quiet HEAD \|\| git commit -m "Deploy website updates with GitHub Actions: ${GITHUB_SHA}"
	git push origin gh-pages

Provide feedback