drop deprecation warning of 3524, he has a new github name. github url is already there.