publish 'in productie' en 'in ontwikkeling' user stories #2676

	name: publish 'in productie' en 'in ontwikkeling' user stories

	on:
	schedule:
	- cron: '0 9,11,12,14,16,17 * * *'
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2

	- name: Create User Stories Prod
	run: \|
	echo -e '---\nlayout: page-with-side-nav\ntitle: User Stories in Productie\n---\n' >> user-stories.md
	echo -e '# User stories\n' >> user-stories.md

	- name: List 'v2.0' user stories
	uses: lee-dohm/select-matching-issues@v1.2.0
	with:
	format: list
	query: label:"v2.0" label:"User Story"
	token: ${{ secrets.GITHUB_TOKEN }}
	path: issues-tmp.md
	- run: \|
	echo -e '## Vanaf versie 2.0\n' >> user-stories.md
	cat issues-tmp.md >> user-stories.md
	echo -e '\n' >> user-stories.md

	- name: target=_blank toevoegen aan issue link
	run: \|
	sed -i 's/)$/){:target="_blank" rel="noopener"}/' user-stories.md
	- name: move user-stories markdown bestanden naar ./docs
	run: \|
	mv user-stories.md ./docs/user-stories.md
	- name: commit & push user-stories markdown bestanden
	run: \|
	if [ -n "$(git status ./docs/user-stories.md --porcelain)" ]; then
	git add ./docs/user-stories.md
	fi
	if [ -n "$(git status ./docs --porcelain)" ]; then
	git config user.name "$GITHUB_ACTOR"
	git config user.email "$GITHUB_ACTOR@users.noreply.github.com"
	git commit -m "commit user stories artifacts"
	git pull --ff
	git push
	fi

Provide feedback