Leo
 i've deleted the stop action for now.
> Tried locally and it worked well, this is awesome! > > I think it would be great if we could disable some buttons in certain states, e.g. the pause...
> @iFurySt we should probably combine play and pause into the same button (showing "play" if it's paused, and showing "pause" if it's running) Okay, let me adjust it.
https://github.com/OpenDevin/OpenDevin/assets/16201837/3097d380-cd20-4c77-a124-d4f29949bd5a @rbren have a look. i've just combined pause and resume into one button. and made some improvements to the `loading` and `disabled` status for buttons.
hi @evrenyal, if we open the auth in `api/refresh-files`, is it prevent the attack?
we already had the auth, just did not extend it to all APIs yet, we can easily do this. btw, we support the tls in #1248. the tls can be...
let me align the ws endpoint reference and add the tls support.
should we create a repo to store these official agents? it's okay to place inside the same repo for now, more like built-in agents. it will make sense to let...
yes, it makes sense for dev. I also manually created the dir before🌚
pre-commit run `--files $(git diff --name-only $(git merge-base main $(git branch --show-current)) $(git branch --show-current) | tr '\n' ' ')` ... this method can ensure only checking the modified files....