git to ignore .repl-history