Make user search case insensitive #217

	name: Build and deploy documentation
	on:
	push:
	branches:
	- dev
	pull_request:
	branches:
	- dev
	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v3
	- name: Install conda
	uses: conda-incubator/setup-miniconda@v2
	with:
	miniconda-version: "latest"
	auto-update-conda: true
	python-version: 3.9
	- name: Install python dependencies 🐍
	run: pip install -r requirements.txt -r requirements-dev.txt
	- name: Use Node.js
	uses: actions/setup-node@v3
	with:
	node-version: '18'
	- name: Install and Build 🔧
	run: \|
	npm install
	npm run install:docs
	npm run build:docs
	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4
	if: ${{ github.event_name == 'push' }}
	with:
	branch: docs-gh-pages # The branch the action should deploy to.
	folder: docs/site/gate-teamware # The folder the action should deploy.

Provide feedback