Draft docker deploy for OBO site#1805

matentzn wants to merge 2 commits intomasterOBOFoundry/OBOFoundry.github.io:masterfrom

issue557OBOFoundry/OBOFoundry.github.io:issue557Copy head branch name to clipboard