Comment by whstl

There is a community action for doing so in Github too, but god knows if it's secure or works as well as Sourcehut.

https://github.com/marketplace/actions/debugging-with-ssh