Libreria Servo per Arduino DUE

Io lo scarico 1 volta alla settimana e ricompilo tutto

ma un "git fetch"?