This patch series improves pushing multi heads. Difference between V2 and V3: - shorten hint messages at abort, which are too long in V2 - split a patch into one to change hint message (patch #1) and another to add help document (patch #2), for separate discussion