./develop_server.sh stop && \ git checkout content && \ if [[ "$(git diff content/)" ]] then git add content/ git commit -m "Update content $(date +%F\ %X)" fi && \ git rebase content master && \ git rebase master content && \ git rebase develop master && \ git checkout master && \ git push && \ pelican && \ git checkout develop