Source? If you’re doing board repairs and adequately clean the previous components then I see little reason why adding leaded solder to the very small amount of remaining lead free solder would be a problem. If you have a full lead free joint and then add a bit of leaded solder, sure… but how many people are doing board repairs like that?