Add git pruning script (#113)