Git Set Theory