Edit rating/points rank of unlisted users and cache get_rank functions

judge/ratings.py

@@ -7,7 +7,6 @@ from django.db.models import Count, OuterRef, Subquery
 from django.db.models.functions import Coalesce
 from django.utils import timezone
 
-
 BETA2 = 328.33**2
 RATING_INIT = 1200  # Newcomer's rating when applying the rating floor/ceiling
 MEAN_INIT = 1400.0
@@ -147,7 +146,7 @@ def recalculate_ratings(ranking, old_mean, times_ranked, historical_p):
 def rate_contest(contest):
     from judge.models import Rating, Profile
     from judge.models.profile import _get_basic_info
-    from judge.utils.users import get_contest_ratings
+    from judge.utils.users import get_contest_ratings, get_rating_rank
 
     rating_subquery = Rating.objects.filter(user=OuterRef("user"))
     rating_sorted = rating_subquery.order_by("-contest__end_time")
@@ -241,6 +240,7 @@ def rate_contest(contest):
 
     _get_basic_info.dirty_multi([(uid,) for uid in user_ids])
     get_contest_ratings.dirty_multi([(uid,) for uid in user_ids])
+    get_rating_rank.dirty_multi([(uid,) for uid in user_ids])
 
 
 RATING_LEVELS = [