./develop_server.sh stop && \
	git checkout master && \
	git merge develop && \
	git push && \
	pelican && \
	git checkout develop