Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor session management #1810

Merged
merged 89 commits into from
May 22, 2024
Merged

Refactor session management #1810

merged 89 commits into from
May 22, 2024

Commits on May 15, 2024

  1. refactor session mgmt

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    8a13c22 View commit details
    Browse the repository at this point in the history

  2. defer file handling to runtime

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    2cf184c View commit details
    Browse the repository at this point in the history

  3. add todo

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    4758599 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    e854fe5 View commit details
    Browse the repository at this point in the history

  5. refactor sessions a bit more

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    b8a7714 View commit details
    Browse the repository at this point in the history

  6. remove messages logic from FE

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    68efd09 View commit details
    Browse the repository at this point in the history

  7. fix up socket handshake

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    833e94b View commit details
    Browse the repository at this point in the history

  8. refactor frontend auth a bit

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    ebe9fe4 View commit details
    Browse the repository at this point in the history

  9. first pass at redoing file explorer

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    8160402 View commit details
    Browse the repository at this point in the history

  10. implement directory suffix

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    34640d2 View commit details
    Browse the repository at this point in the history

  11. fix up file tree

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    1956844 View commit details
    Browse the repository at this point in the history

  12. close agent on websocket close

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    dae8568 View commit details
    Browse the repository at this point in the history

  13. remove session saving

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    e973237 View commit details
    Browse the repository at this point in the history

  14. move file refresh

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    c130a06 View commit details
    Browse the repository at this point in the history

  15. remove getWorkspace

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    500dff9 View commit details
    Browse the repository at this point in the history

  16. plumb path/code differently

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    9eb29ec View commit details
    Browse the repository at this point in the history

  17. fix build issues

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    9b80827 View commit details
    Browse the repository at this point in the history

  18. fix the tests

    @rbren
    rbren committed May 15, 2024
    Configuration menu
    Copy the full SHA
    87c4288 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    ca285f1 View commit details
    Browse the repository at this point in the history

  2. fix npm build

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    19db96f View commit details
    Browse the repository at this point in the history

  3. add session rehydration

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    b19d4bb View commit details
    Browse the repository at this point in the history

  4. fix event serialization

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    863d5d0 View commit details
    Browse the repository at this point in the history

  5. logspam

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    4206db8 View commit details
    Browse the repository at this point in the history

  6. fix user message rehydration

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    a3732d9 View commit details
    Browse the repository at this point in the history

  7. add get_event fn

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    6d6c645 View commit details
    Browse the repository at this point in the history

  8. agent state restoration

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    d3d7efd View commit details
    Browse the repository at this point in the history

  9. change history tracking for codeact

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    fe4e41f View commit details
    Browse the repository at this point in the history

  10. fix responsiveness of init

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    20aeffe View commit details
    Browse the repository at this point in the history

  11. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    2579245 View commit details
    Browse the repository at this point in the history

  12. fix lint

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    76c07a4 View commit details
    Browse the repository at this point in the history

  13. lint

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    1415928 View commit details
    Browse the repository at this point in the history

  14. delint

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    bfcef57 View commit details
    Browse the repository at this point in the history

  15. fix prop

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    d4b569d View commit details
    Browse the repository at this point in the history

  16. update tests

    @rbren
    rbren committed May 16, 2024
    Configuration menu
    Copy the full SHA
    e74beb2 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 17, 2024
    Configuration menu
    Copy the full SHA
    706b9a7 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 18, 2024
    Configuration menu
    Copy the full SHA
    f71d7b4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 18, 2024
    Configuration menu
    Copy the full SHA
    386fe72 View commit details
    Browse the repository at this point in the history

  3. logspam

    @rbren
    rbren committed May 18, 2024
    Configuration menu
    Copy the full SHA
    df9c2b4 View commit details
    Browse the repository at this point in the history

  4. lint

    @rbren
    rbren committed May 18, 2024
    Configuration menu
    Copy the full SHA
    2e8b2e9 View commit details
    Browse the repository at this point in the history

  5. fix test

    @rbren
    rbren committed May 18, 2024
    Configuration menu
    Copy the full SHA
    ba8f384 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    088be2e View commit details
    Browse the repository at this point in the history

  2. revert codeact

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    2409028 View commit details
    Browse the repository at this point in the history

  3. change fileService to use API

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    0ae31c2 View commit details
    Browse the repository at this point in the history

  4. fix up session loading

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    e8d54a1 View commit details
    Browse the repository at this point in the history

  5. delint

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    41e2b96 View commit details
    Browse the repository at this point in the history

  6. delint

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    38f32d6 View commit details
    Browse the repository at this point in the history

  7. fix integration tests

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    dbb3551 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    b721bca View commit details
    Browse the repository at this point in the history

  9. revert test

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    d7c0999 View commit details
    Browse the repository at this point in the history

  10. fix up access to options endpoints

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    c3fd1a8 View commit details
    Browse the repository at this point in the history

  11. fix initial files load

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    57be4d4 View commit details
    Browse the repository at this point in the history

  12. delint

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    15d1a3a View commit details
    Browse the repository at this point in the history

  13. fix file initialization

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    52e995b View commit details
    Browse the repository at this point in the history

  14. fix mock server

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    35d8004 View commit details
    Browse the repository at this point in the history

  15. fixl int

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    4edfe0f View commit details
    Browse the repository at this point in the history

  16. fix auth for html

    @rbren
    rbren committed May 20, 2024
    Configuration menu
    Copy the full SHA
    4eb486d View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Merge branch 'main' into rb/api-sessions

    @xingyaoww
    xingyaoww committed May 21, 2024
    Configuration menu
    Copy the full SHA
    37af906 View commit details
    Browse the repository at this point in the history

  2. Update frontend/src/i18n/translation.json 

    Co-authored-by: Xingyao Wang <xingyao6@illinois.edu>
    @rbren @xingyaoww
    rbren and xingyaoww committed May 21, 2024
    Configuration menu
    Copy the full SHA
    d971f91 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    badbfa2 View commit details
    Browse the repository at this point in the history

  4. refactor sessions and sockets

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    4df4239 View commit details
    Browse the repository at this point in the history

  5. avoid reinitializing the same session

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    27aaa06 View commit details
    Browse the repository at this point in the history

  6. fix reconnect issue

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    0499085 View commit details
    Browse the repository at this point in the history

  7. change up intro message

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    e7c03f0 View commit details
    Browse the repository at this point in the history

  8. more guards on reinit

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    faeda8c View commit details
    Browse the repository at this point in the history

  9. rename agent_session

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    3a7ad8c View commit details
    Browse the repository at this point in the history

  10. delint

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    a639e83 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    e67fb29 View commit details
    Browse the repository at this point in the history

  12. fix a bunch of tests

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    97c4d16 View commit details
    Browse the repository at this point in the history

  13. delint

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    8caacd5 View commit details
    Browse the repository at this point in the history

  14. fix last test

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    b478668 View commit details
    Browse the repository at this point in the history

  15. remove code editor context

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    f560023 View commit details
    Browse the repository at this point in the history

  16. fix build

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    245b419 View commit details
    Browse the repository at this point in the history

  17. fix any

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    033aa8b View commit details
    Browse the repository at this point in the history

  18. fix dot notation

    @rbren
    rbren committed May 21, 2024
    Configuration menu
    Copy the full SHA
    1412763 View commit details
    Browse the repository at this point in the history

  19. Merge branch 'main' into rb/api-sessions

    @neubig
    neubig committed May 21, 2024
    Configuration menu
    Copy the full SHA
    6792acb View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    591dd16 View commit details
    Browse the repository at this point in the history

  2. Update frontend/src/services/api.ts 

    Co-authored-by: Boxuan Li <liboxuan@connect.hku.hk>
    @rbren @li-boxuan
    rbren and li-boxuan committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1030bd8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'rb/api-sessions' of ssh://github.com/opendevin/opendevi… 

    …n into rb/api-sessions
    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    ad97f41 View commit details
    Browse the repository at this point in the history

  4. fix up error handling

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    0c4dff7 View commit details
    Browse the repository at this point in the history

  5. Update opendevin/server/session/agent.py 

    Co-authored-by: Boxuan Li <liboxuan@connect.hku.hk>
    @rbren @li-boxuan
    rbren and li-boxuan committed May 22, 2024
    Configuration menu
    Copy the full SHA
    a2af497 View commit details
    Browse the repository at this point in the history

  6. Update opendevin/server/session/agent.py 

    Co-authored-by: Boxuan Li <liboxuan@connect.hku.hk>
    @rbren @li-boxuan
    rbren and li-boxuan committed May 22, 2024
    Configuration menu
    Copy the full SHA
    105340e View commit details
    Browse the repository at this point in the history

  7. Update frontend/src/services/session.ts 

    Co-authored-by: Boxuan Li <liboxuan@connect.hku.hk>
    @rbren @li-boxuan
    rbren and li-boxuan committed May 22, 2024
    Configuration menu
    Copy the full SHA
    5d8abb3 View commit details
    Browse the repository at this point in the history

  8. fix build errs

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    10ccb6a View commit details
    Browse the repository at this point in the history

  9. Merge branch 'rb/api-sessions' of ssh://github.com/opendevin/opendevi… 

    …n into rb/api-sessions
    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c908a67 View commit details
    Browse the repository at this point in the history

  10. fix else

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    b1b6e8f View commit details
    Browse the repository at this point in the history

  11. add closed state

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1358f40 View commit details
    Browse the repository at this point in the history

  12. delint

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    5637aab View commit details
    Browse the repository at this point in the history

  13. Update opendevin/server/session/session.py 

    Co-authored-by: Engel Nyst <enyst@users.noreply.github.com>
    @rbren @enyst
    rbren and enyst committed May 22, 2024
    Configuration menu
    Copy the full SHA
    faf4ac4 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'main' into rb/api-sessions

    @rbren
    rbren committed May 22, 2024
    Configuration menu
    Copy the full SHA
    4715765 View commit details
    Browse the repository at this point in the history