a github y gitlab lo que le hace falta es un buscador de ficheros, tipo el Control + P de la mayoría de editores. Estoy harto de tener que navegar a mano por los ficheros cuando simplemente podría buscarlo por nombre.

me suena que había una extensión que ya te lo daba