Switch from cards to list on website #25

	name: auto-format
	on: pull_request
	jobs:
	format:
	# Check if the PR is not from a fork
	if: github.event.pull_request.head.repo.full_name == github.repository
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1
	with:
	ref: ${{ github.head_ref }}
	- name: Install Deno
	uses: denoland/setup-deno@v1
	with:
	deno-version: v1.x
	- name: Format with Deno
	id: deno-fmt
	run: deno fmt -c deno.json
	- name: Check for modified files
	id: git-check
	run: echo "modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi)" >> $GITHUB_OUTPUT
	- name: Push changes
	if: steps.git-check.outputs.modified == 'true'
	run: \|
	git config --global user.name 'Format Bot'
	git config --global user.email '[email protected]'
	git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}
	git commit -am "Fix code formatting"
	git push

Provide feedback