docs: bot to trigger update-docs
on merge to main
#4952
Merged
update-docs
on merge to main
#4952