make git gc optional for refresh-workspace