décembre 2022

Git: Supprimer toutes les branches qui ne sont plus sur le dépôt distant

Laisser un commentaire / Snippets /

Quand on bosse en équipe sur un projet, on finit par accumuler pas mal de branches sur notre dépôt local qui ont étés supprimées du remote suite à des merge de PR. Si vous êtes comme moi, vous aimez bien les choses simples et avoir un dépôt local relativement clean. C’est plus facile de s’y …

Git: Supprimer toutes les branches qui ne sont plus sur le dépôt distant Lire la suite »

Google Maps vous a bien eu !

Laisser un commentaire / Web /

Depuis toujours, les services Google étaient gérés par nom de domaine. C’est à dire que pour aller sur gmail, on allait sur mail.google.com, pour maps, maps.google.com etc… Mais depuis quelques temps, le service google maps en particulier a déménagé à l’adresse https://www.google.fr/maps Même si le résultat de recherche affiche toujours maps.google.fr regardez l’URL une fois …

Google Maps vous a bien eu ! Lire la suite »