Comment by csteinbe

This is documented at: https://docs.github.com/en/pull-requests/collaborating-with-...