Skip to content

Cannot add a remote repository through settings UI #746

Closed
@cambot

Description

@cambot

I'm using v2.10 of the module. I ran do ##class(SourceControl.Git.API).Configure() and chose the option to first initialize an empty repository. (I made a few test commits locally to get familiar with the UI.

When I went to connect my local repo to a remote, I realized that not only does the Settings UI not actually save the value I put into the "Remote Repository" setting, but it also does not set up a new remote in the local git config: git remote origin add [url]. (If I manually configure the remote with git remote add origin ..., the settings page does pick that up.)

I would also recommend 2 additional things:

  • First, make sure there isn't already an origin defined, so you do not accidentally clobber an existing value. (just in case the UI had a stale config)
  • A non-destructive test of the remote config.
    • My initial thought is using git branch --remote. If the url is correct (and the ssh config has been setup correctly?), it should list out all the branches available on the remote.
    • Caveat: when I tested this manually, I noticed that if the remote is a bare repo, git branch --remote simply returns nothing.
    • An alternative could be a git fetch origin which should update all the remote refs without altering the state of local branches.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions