Official arena name now begins with "Arena-".

Author: ChrisAcrobat

GitHubApi.js

@@ -156,7 +156,6 @@ class GitHubApi{
 			json.items.forEach(repo => {
 				let data = {
 					official: repo.owner.login === 'AI-Tournaments',
-					name: repo.full_name.replace(/.*\/|-Arena/g, ''),
 					raw_url: null,
 					default: 'https://raw.githubusercontent.com/'+repo.full_name+'/'+repo.default_branch+'/',
 					html_url: repo.html_url,

Replay/index.js

@@ -405,7 +405,7 @@ function a(){
 						let cssStar = getComputedStyle(document.documentElement).getPropertyValue('--github-stars').trim();
 						cssStar = cssStar.substring(1,cssStar.length-1);
 						let option = document.createElement('option');
-						option.innerHTML = repo.full_name.replace(/.*\/|-Arena/g, '') + ' ' + cssStar + repo.stars;
+						option.innerHTML = repo.full_name.replace(/.*\/Arena-/g, '') + ' ' + cssStar + repo.stars;
 						option.dataset.stars = repo.stars;
 						option.value = 'https://'+repo.owner.login+'.github.io/'+repo.name;
 						if(option.value !== _replayData.header.defaultReplay){

index.js

@@ -230,7 +230,7 @@ function a(){
 			})
 			officialRepos.slice(0,amount).forEach(repo => {
 				let item = document.createElement('div');
-				item.innerHTML = repo.name.replace('-Arena','')
+				item.innerHTML = repo.full_name.replace(/.*\/Arena-/g,'')
 				item.dataset.stars = repo.stars;
 				item.dataset.full_name = repo.full_name;
 				item.classList.add('clickable');