This message was deleted.

@wooden-umbrella-84098 figured out the env is being exported correctly for the refreshed github token We have the following statement in the git microagent to help assist

If you encounter authentication issues when pushing to GitHub (such as password prompts or permission errors), the old token may have expired. In such case, update the remote URL to include the current token: git remote set-url origin https://${GITHUB_TOKEN}@github.com/username/repo.git

The agent, however, does not adhere to this reliably Xingyao has suggest creating a specific tool for authentication (since it gets higher visibility)

Yeah the GitHub struggles should be much better as of yesterday

Does the OpenHands Cloud support Dev Containers? Any best practices we might want to follow when it comes to a monorepo with multiple projects/languages?

we do support running docker, so you might be able to make it work!