Updated levels to mention the user in the leaderboard rather than link to their profile. #814

	# This is a basic workflow to help you get started with Actions

	name: CI

	on: [push, pull_request]

	jobs:
	lint:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v3

	- uses: actions/setup-python@v3
	with:
	python-version: '3.10.6'

	- name: Install dependencies
	run: pip install pylint wheel -r requirements.txt

	# Runs a set of commands using the runners shell
	- name: Lint
	run: ci/ci.sh

	# auto-request-review:
	# name: Auto Request Review
	# runs-on: ubuntu-latest
	# if: github.event_name == 'pull_request'
	# steps:
	# - name: Request review based on files changes and/or groups the author belongs to
	# uses: necojackarc/[email protected]
	# with:
	# token: ${{ secrets.BOTUSER }}
	# config: .github/reviewers.yml

Provide feedback