Deploy UI on successful merge to master#33

jmandel merged 1 commit intomasterall-of-us/workbench:masterfrom

jmandel/auto-deploy-uiall-of-us/workbench:jmandel/auto-deploy-uiCopy head branch name to clipboard