Posts tagged with "git": Leave only a specific directory in git history (14 Jul 2020) Mirror a git repository (15 Sep 2017) Locally ignore a file from git index (17 Feb 2016)