Libreria Servo per Arduino DUE

lesto:

Io lo scarico 1 volta alla settimana e ricompilo tutto

ma un "git fetch"?

Ma così non ho il pacco del repo in locale.
Se devo tenermi l'installazione ed il repo alla fine sono un sacco di MB di roba, invece io scarico lo zip, lo scompatto, compilo, prendo le parti che mi servono e poi cancello tutto.