a file to be kept for git
