Notre Dame has its first-ever female Leprechaun mascot