Christian Legnitto b96879e2db Add a git ssh origin when pushing docs ... Azure apparently downloads the source via http, so when we go to push the ssh keychain is not used. adding origin shoudl fix it, as was done in https://cloudblogs.microsoft.com/opensource/2019/04/05/publishing-github-pages-from-azure-pipelines/		2019-04-16 21:52:58 -07:00
..
book	Add a git ssh origin when pushing docs	2019-04-16 21:52:58 -07:00