VSCode just released their Agents Mode, this is pretty much the same thing. Surprised they decided to do a split like this all of a sudden.
GitHub Copilot App
71–80 of 83 posts
Re: GitHub Copilot App
#72Who would have thought that git worktree is the technology of the year 2026?
I use a skill that basically boils down to 'keep track of ongoing work in a json file, create a new numbered clone for each separate thread of work, delete when done'. Worktrees are too opaque and not entirely isolated for my liking.
Re: GitHub Copilot App
#73Who would have thought that git worktree is the technology of the year 2026?
I still don't understand how people use git worktrees with Docker. You need a full database and etc. For me it's simpler to have multiple checkouts.
I don't understand what docker problem would be solved by multiple git directories but not by multiple work trees?
Regardless of whether the former solves it, I was going to suggest you could use compose or whatever in your 'human' tree, and then tell the AI to use equivalent docker commands without using compose, so it gets anonymous/its own named containers, but you keep the convenience.
Re: GitHub Copilot App
#74Who would have thought that git worktree is the technology of the year 2026?
Yeah, when you had multiple agents working on the same machine, branch isolation was no longer sufficient. A repository folder can only be on one branch at a time. A worktree is basically equivalent to a cp -R + git branch, which allows this new workflow to occur. I loved this particular historical insight as to why `git worktree` was added in 2015: Before worktrees, kernel devs faced a major inconvenience when switc…
Sadly worktrees do some stuff with the git folder that's made one development environment we inherited incompatible. Something about the .git folder not being a fully real .git folder maybe
Re: GitHub Copilot App
#75It is nice. But! The reason these tools exist is not because of non-professional developers, but quite the opposite. A lot more professionals are now working on more projects simultaneously- something that was not practical just a year ago. Though, while this is nice, considering that all of the action is happening on the same device, I am worried this is going to increase supply chain risks. Before, a developer woul…
There is full support for GitHub sandboxes today, and in the near future the remote session experience will improve, so your laptop (or your phone, or the web) can be the control plane.
Re: GitHub Copilot App
#76Re: GitHub Copilot App
#77Looks good, but after pricing change I have already used 26% this month with very light usage. Last month I used Copilot heavily, much much more than I usually do, but did not manage to use more than 58%.
We had settled on Copilot's Sonnet 4.6 which incidentally is one of the models that got shanked in the pricing update.
Easily 7x or more for what amounts to self–serving work. At this point, we might just switch to 4.8 Opus.
Honestly, I would not spend a cent of my own money on a model that won't run on my PC, but still I feel like this is the end of this Microsoft product I hadn't used a month ago. We'll see if our sugar daddies keep funding it.
Re: GitHub Copilot App
#78Who would have thought that git worktree is the technology of the year 2026?
I used to create multiple local worktrees and mount the sub directories using Docker. This approach had significant limitations because many paths in the agent and .git files were hard-coded.
Re: GitHub Copilot App
#79It's weird. I still remember 2008, when GitHub's claim to fame was that it was "the easiest (and prettiest) way to participate in the collaborative development of software." Now they want to end that collaboration, and turn it into automation. Many C-suite executives right now are smiling bigly. Meanwhile, we're leading the exodus. Turns out, we still want the easiest and prettiest way to participate in the collabora…
GitHub also serves as a community hub beyond being a code hosting and collaboration platform, where engineers can connect.
In the past, clicking on someone’s profile would simply let you know like “Hey, this guy is pretty good” or “This guy is working on something interesting.” Losing that sense of home would be terrible.