git gc is unreliable; just re-initialize .git at 5000 commits
git gc is unreliable; just re-initialize .git at 5000 commits

Conflicts:
	bin/oref0-truncate-git-history.sh

openaps/oref0,PieterGit/oref0,openaps/oref0,PieterGit/oref0,PieterGit/oref0,openaps/oref0,openaps/oref0,PieterGit/oref0