Adding info for correct git subtree push commands