| ▲ | pdonis a day ago | |||||||
> When I tell my LLM to "open a PR for those changes" (which is how I do it nowadays), my LLM understands that what I mean is "make a commit, push it to a remote and raise a PR". This makes it seem like all of those things are part of a single operation to you. That doesn't make sense to me. On the occasions where I've submitted a PR to a project (anywhere, not just on Github), making the commit was not part of the same operation. I'd already made the commit and satisfied myself that it captured everything I wanted, before making the PR. I don't see those things as part of a single operation. I don't think the poster you were responding to does either. | ||||||||
| ▲ | labcomputer a day ago | parent [-] | |||||||
So you think the OP is asking candidates a question, where the solution is:1. Navigate your browser to GitHub.mycompany.example.com 2. Click the repo name 3. Click pull requests 4. Click the source branch[1] and destination branch 5. Click "create pull request" ??? I started out by assuming this was some kind of good-faith disagreement, but I guess you're just trying to be funny. [1] Presumably already extant, because they never mentioned anything about committing code, nor pushing it to github (and that's not the same operation!). | ||||||||
| ||||||||