Read default GitHub token

[Federico Grandi]

The repo-token input doesn't need to be mandatory, you can read the default value like this:

  repo-token:
    description: 'The GITHUB_TOKEN secret'
    default: ${{ github.token }}
    required: false