autodetection of git repo type in local remotes

[avsm]

One behavioural change from OPAM 1.1 and 1.2 that surprised me is the auto-detection of the repo type.

If I have a local git checkout of opam-repository and do a opam remote add ~/opam-repository, it now becomes a git remote, and local changes are only reflected if I commit. The default used to be that this would be a local remote and rsynched (much more convenient for local use).

I can get the old behaviour back by adding -k local, but I just wanted to check that this was an intended change.

[dbuenzli]

That seems consistent with the behaviour of pins see #1582

[dbuenzli]

Well that 1582 was a #1555

[avsm]

Being consistent is good, and I'm not against the new behaviour. However, it's definitely worth noting in the release notes, as my old 1.1 workflow simply didn't work anymore without the -k local addition. More typing needed, but that's progress eh :-)

[AltGr]

Yes, this is quite new, but otherwise confusing build artefacts could get in the way. Note that you can save one keystroke by using the now preferred -k path

Indeed this is not even in the changelog, and needs to be notified.