Push location hiding

[Aaron Bentley]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Stefan Monnier wrote:
>> If branch.conf is authoritative, I cannot fix the URL for me without
>> disrupting the others.
> 
> I don't see in which context you'd be working with a branch.conf
> that's not under your control.

It is under my control, but its effects are not local, they affect
everyone who uses it.

> Are you thinking of the case mentioned
> by John of a lightweight checkout?

That's the most obvious way multiple people could be pushing from the
same branch.  Plain checkouts ought to behave like lightweight
checkouts, but I have no idea whether they do.

But our policy is about all config data, not just push locations.  So it
includes the data that you would read when accessing a branch whose
branch.conf you don't control.

Aaron
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFIWpM40F+nu1YWqI0RAj/uAJ9SFGOsbEEQoKk8IlMIVWkudz83ugCeNzz8
wZnNTh3Fd5RlT1Ywbxr0QtM=
=UGK7
-----END PGP SIGNATURE-----