scripts/get_maintainer.pl: update Linus's git repository