[Feature]: Teach OpenDevin agents their name and email address

[neubig]

What problem or use case are you trying to solve?

We recently added the ability to push to github: #1415

However, when doing so, our agents don't know their name and email address, so we should probably prompt them with a name and email address to use for PRs.

Do you have thoughts on the technical implementation?

This could be achieved by adding name and email to the config and defaults
, with defaults like OpenDevin and some email address we create.

This could then be referenced in the prompts provided to the agents, starting with MonologueAgent.

[ADTmux]

Hey, I would like to work on this!

[neubig]

Great @ADTmux , please take a look!

[neubig]

Fixed by #1842

[neubig]

Hmm, it seems like this is still not fixed...

I tried to do #1904 with OpenDevin, and it still doesn't have the appropriate username and email.

[xingyaoww]

@neubig weird... Did the agent actually sets the git config by itself though?

[neubig]

Yes, because the git config is not set, the agent does it by itself. But this results in unpredictable behavior, where the name is different every time.

[xingyaoww]

@neubig I actually wonder what's the sandbox version you are using? I just tried with ghcr.io/opendevin/sandbox:main and it seems to work well for me: #1928