CD integration for uploading to HotCRP#85

hhkit wants to merge 10 commits into

mainopencompl/paper-template:mainfrom

ivan/hotcrp-ciopencompl/paper-template:ivan/hotcrp-ciCopy head branch name to clipboard