git related stuff: .gitignore and others