Re: HTML5up Alpha et hiérarchie des titres
Maïeul Rouquette <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 02/03/2020 à 11:43, Jean Marie Grall a écrit : > > Le 01/03/2020 à 19:29, Bruno Bergot a écrit : >>> Et, questions FAQ subsidiaire : comment on fait une branche avec git ? >> >> Depuis ta branche master à jour : >> >> git co -b v1 >> git push origin v1 >> git co master (pour repasser sur le master) > > > Ok merci. > > Dernière question (parce que j'ai pas trouvé/réussi), comment on > supprime une branche ? > > J'ai fait la manip sur > https://git.spip.net/spip-contrib-squelettes/html5up_hyperspace : > création d'une branche V2, merge du dev (v3) dans master mais je > n'arrive pas à supprimer cette branche dev maintenant. > > Je crois que j'ai réussi en local avec git branch -d dev (alors que > j'avais error: branch 'dev' not found au début ?!?) mais elle est > toujours en ligne > https://git.spip.net/spip-contrib-squelettes/html5up_hyperspace/branches/ malgré > mes push. > > J'ai utilisé ce guide envoyé sur la liste je crois : > http://rogerdudler.github.io/git-guide/index.fr.html > > jean marie > c'est un peu contre intituif la suppression des brnanches à distance git push <remote> :<brancheasupprimer> donc git push origin :dev Il existe dans les dernières version de git la syntaxe suivante git push origin --delete the_remote_branch