dns.type: add dnsNetType: `rcode` (#43) #204

	name: Deploy docs to GitHub Pages
	on:
	push:
	branches:
	- main
	concurrency:
	group: ${{ github.ref }}-${{ github.workflow }}
	cancel-in-progress: true

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: '0'
	- uses: actions/setup-python@v4
	with:
	python-version: 3.x
	cache: 'pip'
	- run: \|
	echo "COMMIT_MSG=$(git rev-parse --short HEAD)" >> $GITHUB_ENV
	- run: pip install -r requirements.txt
	- run: mkdocs build
	- name: Git push assets to "gh-pages" branch
	run: \|
	cd site \|\| exit 1
	git init
	git config --local user.name "github-actions[bot]"
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git checkout -b gh-pages
	git add .
	git commit -m "Deployed ${{ env.COMMIT_MSG }}"
	git remote add origin "https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}"
	git push -f -u origin gh-pages

Provide feedback