They are using Git correctly.