Git push allows selecting remote if multiple remote repos
Prepare 2.4.0 release