adjusted pushing for documentation due to changes in git upstream