Default add bbatsov prelude to the git.