@vlorentz thus:

mv3@deskpro108655:/upstreams/SoftwareHeritage/swh-docs$ git remote -v
origin  ssh://git@forge.softwareheritage.org/source/swh-docs.git (fetch)
origin  ssh://git@forge.softwareheritage.org/source/swh-docs.git (push)

@anlambert no, I don't have any such link - the top left of this page ( https://forge.softwareheritage.org/D1430 ) has "Accepted" and "Public" below the title of this Differential, but nothing else...

Hm, no, I did that, but I still get the same permission denied message.

Tidy commit message.

Oh, I'm going to have to do arc diff --update first, aren't I? Sorry, not used this tooling before, and it's a bit confusing!

I tried (having done git rebase -i to tidy up the commit message, and then git merge), but get refused:

mv3@deskpro108655:/upstreams/SoftwareHeritage/swh-docs$ git push
X11 forwarding request failed on channel 0
Exception: You do not have permission to push to this repository.
fatal: Could not read from remote repository.

[I think I can't merge this myself]