Tech lead: manage a conflict between devs