unisonweb/unison

ucm support for showing and setting the GitUrl for a given path

Open

#1,269 opened on Feb 21, 2020

View on GitHub
 (3 comments) (0 reactions) (0 assignees)Haskell (304 forks)batch import
githelp wanted

Repository metrics

Stars
 (6,624 stars)
PR merge metrics
 (Avg merge 12d 19h) (6 merged PRs in 30d)

Description

We currently have config file settings that associate a single git location to a codebase path, but no way to manage them from within ucm.

The goal is to make it easy to push and pull when you mean to, and maybe harder to push and pull where you don't mean to.

Ideas:

  • on pull we could associate the supplied repo with the target path (for subsequent push or pull).
  • on pr.load, we could associate the base, head, and base repos with the base, head, and merged paths respectively.

Contributor guide