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.

[rgommers]

secrets.DEPLOY_KEY does not seem to exist. gh-11 started using it, but no comments there and who made it. Do you remember? This looks pretty strange to me, keys usually don't just disappear.

[lucascolley]

Hmm, that is strange. That PR was triggered by @asmeurer's suggestion at #3 (comment) — maybe you have an idea, Aaron?

[lucascolley]

I also can't remember asking anyone to set it up. If my memory serves me well, I think I was actually surprised at the time that it worked out of the box. I think I assumed that it worked due to something at the organisation-level. (I might just be making this up retrospectively, it was a while ago)

[lucascolley]

Here's the log of a successful deployment: https://github.com/data-apis/array-api-extra/actions/runs/13570911137/job/37935405927

It says Deploying using Deploy Token… 🔑, just as the now failing logs do. The only difference seems to be the final step. Successful:

/usr/bin/git worktree remove github-pages-deploy-action-temp-deployment-folder --force
Completed deployment successfully! ✅

Failing:

/usr/bin/git worktree remove github-pages-deploy-action-temp-deployment-folder --force
Error: The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 128 ❌

[lucascolley]

AH: JamesIves/github-pages-deploy-action#1110 (comment)

We just need to adjust the workflow permissions. I can send a PR for that now.

The red herring was that the job doesn't fail unless you actually change the docs. We didn't change the docs for a while after changing workflow permissions for SPEC 8, so I didn't join the dots.