AntohiRobert

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

2

Hey, so I added a minimum rating for gitgud. It is especially useful for beginners, to be able to solve problems in the 800-1300 range. I set it to 1000...