adds button to quickly copy the community id to clipboad #551

	name: Docker Build and Push

	on:
	push:
	branches: [ master, develop ]

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Extract branch name
	shell: bash
	run: echo "##[set-output name=branch;]$(echo ${GITHUB_REF#refs/heads/})"
	id: extract_branch
	- if: github.ref == 'refs/heads/develop'
	name: Replace build command in Dockerfile
	uses: jacobtomlinson/gha-find-replace@v2
	with:
	find: "npm run build:prod"
	replace: "npm run build:prod-sbf-dev"
	include: "Dockerfile"
	- name: Build the Docker image
	run: \|
	docker build -t registry.tech4comp.dbis.rwth-aachen.de/rwthacis/mobsos-evaluation-center:${{ steps.extract_branch.outputs.branch }} .
	- name: Push to registry
	env:
	DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
	DOCKER_PW: ${{ secrets.DOCKER_PW }}
	run: \|
	docker login -u $DOCKER_USERNAME -p $DOCKER_PW registry.tech4comp.dbis.rwth-aachen.de
	docker push registry.tech4comp.dbis.rwth-aachen.de/rwthacis/mobsos-evaluation-center:${{ steps.extract_branch.outputs.branch }}

Provide feedback