now git ignores .disk files.