This page is part of my digital garden.

This page might be unfinished or have typos. These pages are meant as part of a public living notebook to be edited over time. For more, visit the page explaining the concept of a digitial garden.

Git

An indispensable tool for doing software development these days. This website is managed via Markdown files committed to a git repo (and then compiled in to a website using Hugo). Nearly all development these days which doesn’t use large media files uses Git by default.

Quick Tips

Prune PR/MR branches

Just run

git fetch --prune origin

Or if you are offline/dont-want-to-fetch

git remote prune origin

If you want this to always happen when you fetch you can run this to tell git to do it all the time

git config --global fetch.prune true
Last updated on