[website] Fix deploy push to git - use ssh (#3123)
authorNicolò Boschi <boschi1997@gmail.com>
Thu, 17 Mar 2022 16:27:50 +0000 (17:27 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 16:27:50 +0000 (17:27 +0100)
commit7d326838325cd5e4e0bd90e968a87542993a17ba
tree97bcaf5de1d1b8bda32e3b86797295b03df6ee21
parent5dfade86c896843377de1af1c764b95566647893
[website] Fix deploy push to git - use ssh (#3123)
site/scripts/publish-website.sh
site3/website/scripts/build-website.sh