Docker images: check out matching branches #15

	---
	name: "Build web mock service image and push it to registry"

	on:
	push:
	branches:
	- 'development'
	- 'release-1.9'
	paths:
	- '.github/workflows/build-push-image-web-mock.yml'
	- 'docker/images/yoda_web_mock/**'

	jobs:
	push-image:
	if: github.repository == 'utrechtuniversity/yoda'
	runs-on: ubuntu-22.04
	permissions:
	contents: read
	packages: write
	steps:
	- name: Extract branch name
	shell: bash
	run: echo "branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}" >> $GITHUB_OUTPUT
	id: extract_branch

	- name: Check out Yoda repository
	uses: actions/checkout@v3
	with:
	path: yoda
	repository: UtrechtUniversity/yoda
	ref: ${{ steps.extract_branch.outputs.branch }}

	- name: Authenticate to the container registry
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Build and push Docker image
	uses: docker/build-push-action@v4
	with:
	context: yoda/docker/images/yoda_web_mock
	file: yoda/docker/images/yoda_web_mock/Dockerfile
	push: true
	tags: ghcr.io/utrechtuniversity/yoda-web-mock:${{ steps.extract_branch.outputs.branch }}
	build-args: \|
	TAG=${{ steps.extract_branch.outputs.branch }}

Provide feedback