Create 2023-11-16-harald-heckmann-in-memoriam.md #3015

	name: Jekyll build

	# Controls when the action will run. Triggers the workflow on push or pull request
	# events but only for the master branch
	on:
	pull_request:
	branches: [ staging ]

	# 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-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v4
	- name: Configure staging build
	run: sed -i 's/https:\/\/rism\.info/https:\/\/stage\.rism\.info/g' _config.yml
	if: endsWith(github.ref, '/staging')

	# Use GitHub Actions' cache to shorten build times and decrease load on servers
	- uses: actions/cache@v3
	with:
	path: vendor/bundle
	key: ${{ runner.os }}-gems-${{ hashFiles('**/Gemfile.lock') }}-v2
	restore-keys: \|
	${{ runner.os }}-gems-v2

	# Tune the jekyll action
	- uses: lemonarc/[email protected]

Provide feedback