No, this file should be part of git.