Michael Hanke

> This comes with the implication, that we can't have a local reconfig (which we recently introduced), since externaltype needs to be committed as far as I'm aware. Protocol switching...

> think we had a bunch of cases where one would want to have a local clone from a store that is also served over HTTP/SSH. Operations on such a...

I think the scenario you describe should be covered by the normal "ephemeral clone" setup, which can directly interface any store on the local machine. All file content is directly...

I just came across the need to turn a provided special remote configuration into a working one (configured URL was no accessible to me, but the location was accessible via...

Well OP was correct, but also not well informed. The desired constraint is easily possible with built-in tools: `(EnsureInt() & EnsureRange(min=0)) | EnsureNone()`

I was informed that only PRs in non-draft mode are meant to be merged. If I misunderstood that, apologies. The extension will be born from this PR. Not by merging...

#7017 has been merged. Work here can continue.

This can be replicated manually. The outcome of a `create-sibling-gin` is this: ``` % git remote -v gin https://gin.g-node.org/dataladtester/some (fetch) gin [email protected]:/dataladtester/some.git (push) ``` which means that a `push` requires...

This change breaks a lot. Is there an issue that explains what is happening here, or why it needs doing? Or can this be closed?

From the POV of my present use case, I would have expected exactly that "overwriting an existing alias", because I am using aliases as a point (e.g. "current") to identifiy...