![]() This PR adds preliminary git clone support through using the new `GitClone` action. This works with SSH connections too. - [x] Get backend working - [x] Add a UI to interact with this Future follow-ups: - Polish the UI - Have the path select prompt say "Select Repository clone target" instead of “Open” - Use Zed path prompt if the user has that as a setting - Add support for cloning from a user's GitHub repositories directly Release Notes: - Add the ability to clone remote git repositories through the `git: Clone` action --------- Co-authored-by: hpmcdona <hayden_mcdonald@brown.edu> |
||
---|---|---|
.. | ||
ai.proto | ||
app.proto | ||
buf.yaml | ||
buffer.proto | ||
call.proto | ||
channel.proto | ||
core.proto | ||
debugger.proto | ||
git.proto | ||
lsp.proto | ||
notification.proto | ||
task.proto | ||
toolchain.proto | ||
worktree.proto | ||
zed.proto |