GitHub repository: BAEisVAR52BRAEVincent/DefinitelyTyped-tools
Description: Infrastructure for DefinitelyTyped