Allows using the github-resolver without a PAT

[regismesquita]

Allows using the github-resolver without a PAT

[neubig]

Hey @regismesquita , thanks for this! Quick question, after this PR will PRs sent to this repo still come from openhands-agent? I'd like to preserve that possibility, even if it's optional.

[regismesquita]

@neubig, the PRs were always assigned to the PAT owner during my runs, never to the openhands-agent user. Therefore, they will be associated with the GitHub Actions user.

[neubig]

OK, could we please change this so that when PAT_TOKEN is set, it uses PAT_TOKEN, and if not it uses the github token? That will maintain the current behavior if PAT_TOKEN is set.

@openhands-agent could you take a first stab at this?

[enyst]

OK, could we please change this so that when PAT_TOKEN is set, it uses PAT_TOKEN, and if not it uses the github token? That will maintain the current behavior if PAT_TOKEN is set.

@openhands-agent could you take a first stab at this?

I'm not sure if the call in the body of a comment is on pypi yet... @openhands-agent-exp you have been called to help, can you solve the PAT_TOKEN as pointed out above?

[github-actions]

OpenHands started fixing the pr! You can monitor the progress here.

[regismesquita]

@neubig if the PAT_TOKEN is set it is to be used, I was referring to when using the github token.