actions/checkout should have a sudo: true option that enables the action to work on non-root-user containers with passwordless sudo access

[JasonGross]

I am trying to use actions/checkout in the coqorg/coq:dev container, and am running into #956. None of the workarounds there work.

1. I have no control over the set up of the docker file, so I cannot change the default userid (1000) to match the actions uid (1001)
2. I cannot pass --user root because the root account on the docker image is broken in login mode, docker run -it --user root coqorg/coq:dev /bin/sh says [ERROR] Opam has not been initialised, please run `opam init' and quits immediately. In any case, future steps need to be logged in as the coq (1000) user, not root, because opam is only set up for that user.
3. I have not found a way to change the host uid to 1000 (is there a way to tell github actions to do this?)
4. I'd rather not pin to actions/checkout@v3.0.2, seems like bad practice and might open me to security issues

Please add some option to actions/checkout so that it works with non-default uid containers. I'm willing to give it the uid as an input option if needed.

[erikmd]

Sorry folks, I realize I replied to @JasonGross's issue while believing that it was posted as an issue in my https://github.com/coq-community/docker-coq repo. Will then copy it there, and hide my comment above.