timrogers

6 ms·

1.
by timrogers 5mo ago
I wonder how this works under the hood and if it is significantly compromises security - no technical details in the article
2.
by timrogers 5mo ago
It’s an incredible map - so many fun memories!
3.
by timrogers 6mo ago
Tim from the Copilot coding agent team here. We've now disabled these tips in pull requests created by or touched by Copilot, so you won't see this happen again for future PRs. We've been including product tips in PRs created
4.
by timrogers 7mo ago
> Reviewing AI output all day without the dopamine of creation is not a sustainable job description. I agree that reducing engineers’ careers to code review will lead to burnout (amongst other problems). But I think the reason we’re head
5.
by timrogers 9mo ago
That would be the normal pattern. But you could certainly stop after the LLM picks the tool and provides the arguments, and not present the result back to the model.
6.
GitHub Copilot now supports Agent Skills(github.blog)
2 points by timrogers 9mo ago|1 comments
7.
by timrogers 10mo ago
The claim in the quote here is simply not true. The travel agency is the one that collects your personal information - but it (unsurprisingly) immediately passes just about everything to the airline: name, date of birthday, phone number, em
8.
by timrogers 1y ago
GitHub PM here. We have tried this, but we weren't able to get results that we were satisfied with. Of course, you have to revisit these things regularly, as the models and wider state of the art are evolving so quickly!
9.
Start and track Copilot coding agent tasks from Raycast(github.blog)
2 points by timrogers 1y ago|0 comments
10.
by timrogers 1y ago
Tim from the GitHub Copilot coding agent product team here! @artdigital is on the money here. Our quick tip for beginners is to use `copilot-instructions.md` (which we can now generate for you <3), but for more serious use, we'd str
11.
by timrogers 1y ago
PM for GitHub Copilot coding agent here! Our asynchronous coding agent can run Docker in its GitHub Actions-powered development environment - for example it could start a Dockerized web server. You can learn more about the agent at https:&
12.
by timrogers 1y ago
Interestingly, the title refers to citizens but the body only refers to residents: > the AWS European Sovereign Cloud is operated only by personnel who are European Union (EU) residents located in the EU, subject to EU law.
13.
by timrogers 1y ago
The #5 contributor thing is a stat from a single repository where we’re building Copilot coding agent.
14.
by timrogers 1y ago
Humans are indeed in slots #1-4. After hearing feedback from the community, we’re planning to share more on the GitHub Blog about how we’re using Copilot coding agent at GitHub. Watch this space!
15.
by timrogers 1y ago
At the moment, we're using Claude 3.7 Sonnet - but we're keeping our options open to experiment with other models and potentially bring in a model picker. (Source: I'm on the product team for Copilot coding agent.)
16.
by timrogers 1y ago
Don't worry - this is 100% opt in. We've just added the ability to assign Copilot to an issue from `gh issue edit` and other similar commands. (Source: I'm on the product team for Copilot coding agent.)
17.
by timrogers 1y ago
As we've built Copilot coding agent, we've put a lot of thought and work into our security story. One of the things we've done here is to treat Copilot's commits like commits from a first-time contributor to an open sour
18.
by timrogers 1y ago
Thanks for flagging this! That isn't a behavior I've seen before in testing, and I'd love to dig into it more to see what's happening. Would you be able to drop me an email? My address is my HN login @github.com. (I work
19.
by timrogers 1y ago
At the moment, we're using Claude 3.7 Sonnet, but we're keeping our options open to change the model down the line, and potentially even to introduce a model picker like we have for Copilot Chat and Agent Mode.
20.
by timrogers 1y ago
The "1,000 pull requests contributed by Copilot" datapoint is specifically referring to Copilot coding agent over the past 2.5 months. Pretty much every developer at GitHub is using Copilot in their day to work, so its influence t
21.
by timrogers 1y ago
But would you rather get paid to spend your time doing the interesting and enjoying work, or the mundane and boring stuff? ;) My hope is that agents like Copilot can help us burn down the tedious stuff and make more time for the big value a
22.
by timrogers 1y ago
Nice idea! We're going to try to get together a blog post in the next couple of weeks on how we're using Copilot coding agent at GitHub - including to build Copilot coding agent ;) - and having some live stats would be pretty swee
23.
by timrogers 1y ago
Copilot only does work that has been assigned to it by a developer, and all the code that the agent writes has to go through a pull request before it can be merged. In fact, Copilot has no write access to GitHub at all, except to push to it
24.
by timrogers 1y ago
Great question! We started with Pro+ and Enterprise first because of the higher number of premium requests included with the monthly subscription. Whilst we've seen great results within GitHub, we know that Copilot won't get it ri
25.
by timrogers 1y ago
What I'm most excited about is allowing developers to spend more of their time working on the work they enjoy, and less of their time working on mundane, boring or annoying tasks. Most developers don't love writing tests, or updat
26.
by timrogers 1y ago
I think you're probably thinking of Copilot Workspace (< https://github.blog/news-insights/product-news/github-copilo... >). Copilot Workspace could take a task, implement it and create a PR - but it had
27.
by timrogers 1y ago
Copilot pushes its work to a branch and creates a pull request, and then it's up to you to review its work, approve and merge. Copilot literally can't push directly to the default branch - we don't give it the ability to do t
28.
by timrogers 1y ago
We've been using Copilot coding agent internally at GitHub, and more widely across Microsoft, for nearly three months. That dogfooding has been hugely valuable, with tonnes of valuable feedback (and bug bashing!) that has helped us get
29.
by timrogers 2y ago
Meta’s definition of quality is not the same as your definition of quality. For them, quality is (within reason) what drives “engagement” (aka time spent in their apps). It might be that many people’s aesthetic sensibility is that AI-genera
30.
by timrogers 2y ago
I love to hear this as the PM for Copilot code review at GitHub! We’re running a preview of the code review feature right now, and are looking forward to opening it to all paid subscribers soon. If you’d like to try it sooner, I can hook yo

More ›