A hands-on, collaboratively written introduction to Git for music engravers