tree 13e50c6f15a0e4c8840400a44384f9b9f9fb7a51
parent 789f6f226b6c7a5b28468044c1705c62aef5eeb9
author Johannes Schindelin <johannes.schindelin@gmx.de> 1627164411 +0000
committer Junio C Hamano <gitster@pobox.com> 1627327036 -0700

expand_user_path(): clarify the role of the `real_home` parameter

The `real_home` parameter only has an effect when expanding paths
starting with `~/`, not when expanding paths starting with `~<user>/`.
Let's make that clear.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>