Please archive the old github repo since the gerrit report has been created to prevent any confusion about the correct and current code-base.
Topic on Extension talk:Sanctions
AchievementBadges, FacetedCategory and Sanctions are now archived on GitHub. Thank you!