same with this, I dont want to be hardcoded here the domain. it should be configurable in a way user could always add later, by not changing this script
this is totally killing the feature in a way that the git instance should be registered here wont work in the open internet
I don't want this to be in the code. this should be a custom configurable. don't we have repos.json or anything? or servers.json? I forget. the place where we configure which instances are we using (github, gitlab, selfhosted gitea, etc)
do we really have this update-pr command?
Updates the PR URL in the session file. Dev agents should call this when they create a PR.
why do we have to create a specific command to create a PR? what if the PR already exist? should we…
lgtm
no longer relevant, there are other solution