the drop-down gets members from groups, not committees. #209

	name: Deploy to Server

	on:
	pull_request:
	# Change to merge when implemented (still beta)
	types: [closed]
	branches:
	- master

	jobs:
	build:
	name: Deploy
	runs-on: ubuntu-latest
	steps:
	- name: executing remote ssh commands using key
	uses: appleboy/[email protected]
	if: github.event.pull_request.merged == true
	with:
	host: ${{ secrets.host }}
	username: ${{ secrets.user }}
	key: ${{ secrets.id }}
	port: ${{ secrets.port }}
	script: \|
	cd ${{ secrets.deploy_dir }}
	. venv-prod/bin/activate
	cd website
	git pull
	python -m pip install --upgrade pip
	pip install --upgrade --force-reinstall -r prod_requirements.txt
	python manage.py migrate
	python manage.py collectstatic --noinput
	sudo systemctl restart gunicorn

Provide feedback