https://www.crybit.com/how-change-cp...-command-line/ (?)
In case of fire: 1. git commit, 2. git push, 3. git out!
Foren-Regeln