sto provando a capire se va fatto prima il push e poi il pull
Merge branch 'master' of https://github.com/Carlo1983/HQD