Données cartographiques vectorisées, extrudées et spatialisées.
Ou le pipeline GeoJSON, D3.js vers Three.js. Cela fait un moment que nous n'avions pas fait de projet Three.js ! Nous jouons surtout avec Unity, mais c'est toujours agréable de revenir…
Git est un formidable système de gestion de versions, popularisé par Github. En travaillant sur un gros projet, vous pourriez avoir besoin d'ajouter des (gros) binaires, des bibliothèques, ou même des psd, des vidéos... à votre dépôt. On ne…
Git est un formidable système de gestion de versions, popularisé par Github. En travaillant sur un gros projet, vous pourriez avoir besoin d’ajouter des (gros) binaires, des bibliothèques, ou même des psd, des vidéos… à votre dépôt. On ne va pas juger cette méthode, elle a ses avantages et ses inconvénients. Le fait est que si ces gros fichiers changent souvent, votre dépôt va grossir très vite. Et parfois, le versioning de votre propre code n’est pas si important. Il est stable, et pour un nouvel arrivant, il n’a pas besoin de tout l’historique git et de ses 4 Go (oui, ça m’est déjà arrivé). Voyons donc comment réinitialiser votre dépôt git vers un nouveau commit :
Tout d’abord, sauvegardez votre fichier local .git/config quelque part sur votre disque. Ensuite :
rm -rf .git
git init
Importez et écrasez votre ancien fichier .git/config. Ensuite :
git add .
git commit -m "Repository reset"
git push -f origin master
Et voilà !
Une chose sympa à noter, c’est que sur Github et Bitbucket, vous ne perdrez pas les abonnements, les stars et les forks.
Peut-être avez-vous besoin d’une sauvegarde sur une URL spécifique, juste au cas où… ? Créez simplement un nouveau dépôt, et dans votre fichier .git/config changez l’url puis push ;)