Git now ignores all pro.user files.