DOC: docs deployment failing

[lucascolley]

/usr/bin/git commit -m Deploying to gh-pages from @ data-apis/array-api-extra@6e3ad0f37d887f87d75de84e39148f50724a8c7a 🚀 --quiet --no-verify
Force-pushing changes...
/usr/bin/git push --force ***github.com/data-apis/array-api-extra.git github-pages-deploy-action/6tcgpwipr:gh-pages
remote: Permission to data-apis/array-api-extra.git denied to github-actions[bot].
fatal: unable to access 'https://github.com/data-apis/array-api-extra.git/': The requested URL returned error: 403

https://github.com/data-apis/array-api-extra/actions/runs/14474620220/job/40597086566

[lucascolley]

Relevant section of workflow:

array-api-extra/.github/workflows/docs-deploy.yml

Lines 28 to 35 in 6e3ad0f

	# Note, the gh-pages deployment requires setting up a SSH deploy key.
	# See
	# https://github.com/JamesIves/github-pages-deploy-action/tree/dev#using-an-ssh-deploy-key-
	- name: Deploy
	uses: JamesIves/github-pages-deploy-action@6c2d9db40f9296374acc17b90404b6e8864128c8 # v4.7.3
	with:
	folder: docs/build/
	ssh-key: ${{ secrets.DEPLOY_KEY }}

I don't have permissions to view the Deploy Keys or Secrets repo settings, but I would suspect something is up there if permission is being denied.