update github doc deploy

Hariharan, Jayaram Athreya requested to merge dev into main Apr 11, 2023