Thread - Nostr Hypermedia

Episode 123: GitHub Issues to Pull Requests We solve multiple GitHub issues without touching a line of code. Our coding agent works on four issues simultaneously, submitting multiple pull requests within seconds of each other. The future of coding is not in your editor.

Stacker News

Episode 123: GitHub Issues to Pull Requests \ stacker news

We solve multiple GitHub issues without touching a line of code. Our coding agent works on four issues simultaneously, submitting multiple pull req...

Replies (6)

Christopher David 1 year ago

Hey Dustin, v2 not yet open source, I step through the issues on the video but I’ll do a demo shortly on issues in an opensource repo — in fact if you have any demo issues I can test on please send

Christopher David 1 year ago

Aaaand v2 is now open source You can take a spin through the closed issues and PRs View quoted note →

1 replies ↓

Dustin Dannenhauer dustind@dtdannen.github.io 1 year ago

Is it possible to connect Github without giving access to private repos?

2 replies ↓

Dustin Dannenhauer dustind@dtdannen.github.io 1 year ago

I suppose I could just add any repo I care about not sharing under a new organization. I see that it doesn't auto-share those.

Christopher David 1 year ago

With Clerk I have no ability (or I haven’t figured it out) to be more finegrained with the permissions — will be swapping that out soon But it should still work if you deny all repos

1 replies ↓

Dustin Dannenhauer dustind@dtdannen.github.io 1 year ago

Cool, I actually did want to try it with the DVMDash repo I’m working on. Made a bunch of issues and thought I might try to see if it could make any reasonable progress on some of them