Out of curiosity, what is `openhands-development` ...
# proj-integrations
c
Out of curiosity, what is
openhands-development
account about? I saw this on Vasco’s github entry point, too, I think.
thonk 2
🤔 1
d
we created a dev environment which involved creating a dev bot
maybe we need to turn off the github integrations in dev?
The staging bot today does not seem to post on PRs. Was there a specific configuration for that @quick-window-91705?
q
for staging tests we use a separate trigger openhands-exp
👍 1
c
What kind of environment is it, do you mean a Github “environment “? or what is it for @dry-book-58714
d
an openhands cloud (SaaS) dev environment
there is openhands enterprise code to give staging its own label https://github.com/OpenHands/OpenHands/blob/main/enterprise/integrations/utils.py#L126 but dev doesn't have an exclusion yet so it is responding to at openhands
aha 2
q
Although a github app typically sends webhooks to only one location Did we configure a separate app all together for dev?
(maybe we disable the webhook in the meantime if so)
d
yes there is a separate app for dev
👍 1
created issue https://github.com/OpenHands/OpenHands/issues/14894 and working on a dynamic fix in case we add more environments in the future
ty 1
q
I think the more longer term future we'll remove all the resolver code and make then openhands automations instead, which should allow for all the flexibility we desire
🙌 1
d
I set up a new label for dev
openhands-dev
so the dev bot should respond to
@openhands-dev
instead of at openhands
🙌 2