https://docs.all-hands.dev/ logo
Join Slack
Powered by
<@U06QJHRBLQG> we currently have PAT_TOKEN and ALL...
# proj-agent
s
@chilly-france-44439 we currently have PAT_TOKEN and ALLHANDS_BOT_GITHUB_PAT. I think you prefer ALLHANDS_BOT_GITHUB_PAT, right? Should I rename all PAT_TOKEN to ALLHANDS_BOT_GITHUB_PAT across all repos?
nod 1
c
yep, i'd love to consolidate on ALLHANDS_BOT_GITHUB_PAT
since we might have other PATs in the future
c
On private repos?
It would be nice if on public repos, we could try maybe to use the name openhands instead of allhands, WDYT? I'm thinking maybe it has a slight chance to be less confusing
c
nod sounds good, we can consolidate to use OPENHANDS_BOT across the board
c
Could we make two accounts?
OPENHANDS_BOT (or openhands-agent, I... forget what happened to that one) is much better! I'm just wondering if it's better to go a little further, to two bots, it feels to me like we could benefit from that freedom
You have strong feelings about that, Xingyao?
c
nah, i don't have a strong feeling, mostly just need to create two accounts and i've been lazy to do that 😅
c
Oh, I totally see that, when I experimented with openhands-reviewer it went incredibly silly, like • the github app took like 10 mins • running tests until it all worked, like 30 mins • messing around with GitHub permissions, 3 hours?! 😭 Maybe I can make an account and transfer it to you?
2 Views
Open in Slack
PreviousNext
Powered by