In particular, give guidelines for using git specific to ChaNGa development.
In particular, give guidelines for using git specific to ChaNGa development.