Run git gc #95
Description
We should run git gc from time to time. Maybe each time, before we push the changes (atm we push each 30 commits)
According to git gc man page, we should do a git gc aggressive as well every few hundred changesets:
--aggressive
Usually git gc runs very quickly while providing good disk space utilization and performance. This option will cause git gc to more aggressively optimize the repository at the expense of taking much more time. The effects of this optimization are persistent, so this option only needs to be used occasionally; every few hundred changesets or so.