git rm pro.user for other platforms.