fix: unset `GIT_DIR` and `GIT_WORK_TREE` environment variables when i… #148

	---
	name: Generate docs

	on:
	push:
	branches-ignore:
	- master

	jobs:
	docs:
	name: Generate docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: DeterminateSystems/nix-installer-action@v10
	- uses: cachix/cachix-action@v12
	with:
	name: neorocks
	authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'

	- name: Generating docs
	run: nix run ".#docgen"

	- name: Update documentation
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	COMMIT_MSG: \|
	docs(generated): update doc/rocks.txt
	skip-checks: true
	run: \|
	git config user.email "actions@github"
	git config user.name "Github Actions"
	git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
	git add doc/
	# Only commit and push if we have changes
	git diff --quiet && git diff --staged --quiet \|\| (git commit -m "${COMMIT_MSG}"; git push origin HEAD:${GITHUB_REF})

Provide feedback