Added minimum rating for gitgud, to 1000. Could maybe be 1100#407

AntohiRobert wants to merge 1 commit intocheran-senthil:mastercheran-senthil/TLE:masterfrom

AntohiRobert:min_rating_gitgudAntohiRobert/TLE:min_rating_gitgudCopy head branch name to clipboard