JBNet.fr
Le bloc-note de Jérôme Baudin.

Mémo du mois : février 2023

Git – Renommer une branche locale et distante

Mémo pour renommer une branche locale et sur le serveur git.

Trucs et astuces du développeur