Add GitHub repository to sidebar #16

	name: Test
	on:
	push:
	branches:
	- '*' # matches every branch that doesn't contain a '/'
	- '/' # matches every branch containing a single '/'
	- '**' # matches every branch
	- '!main' # excludes `main` (where we have the `deploy` workflow
	jobs:
	build-and-deploy:
	concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v4

	- name: Install pnpm
	uses: pnpm/action-setup@v2.4.0
	with:
	version: 8.6.12

	- name: Install required binaries
	run: \|
	./install_bins.sh

	- name: Checkout BCR submodule
	run: \|
	git submodule update --init -- data/bazel-central-registry

	- name: Checkout latest commit of BCR submodule
	if: ${{ !inputs.bcrCommitHash }}
	working-directory: data/bazel-central-registry
	run: \|
	git checkout origin/main

	- name: Checkout specific commit of BCR submodule
	if: ${{ inputs.bcrCommitHash }}
	working-directory: data/bazel-central-registry
	run: \|
	git checkout ${{ inputs.bcrCommitHash }}

	- name: Install and Build 🔧 # This example project is built using npm and outputs the result to the 'build' folder. Replace with the commands required to build your project, or remove this step entirely if your site is pre-built.
	run: \|
	pnpm install --frozen-lockfile
	pnpm run build

	- name: Check prettier formatting
	run: pnpm prettier-check

Provide feedback