View Revisions: Note 116258

Summary 0035597: There are git mirrors and it would be nice if there was a good .gitignore in the repo.