On Sun, Oct 12, 2025 at 03:26:37PM +0100, Ian Jackson wrote:
Open questions: (i) should this involve pushInsteadOf or insteadOf or both? (ii) is there a way to implement this by calling git, other than by reimplementing git's algorithm?
Does "git ls-remote --get-url" help? -- Colin Watson (he/him) [[email protected]]
