Learn more about these different git repos.
Other Git URLs
def8984
Remove duplicate declaration (cherry picked from commit a573d112013e44373f03b98f653fede0feee9fdc)