log install.py @ 515:6d5e2a583502 default tip

age author description
Tue, 10 May 2022 09:54:59 -0700 Ludovic Chabant Remove onsub extension default tip
Wed, 04 May 2022 15:03:48 -0700 Ludovic Chabant Support other branches than master for git repos