repo.or.cz / administration / Project Settings

Here you may adjust the settings of project git/gitster. Go wild. Since this is a mirrored project, you may opt to remove it from the site as well. Just remove it.