décembre 2022

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

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 !

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 »