Outside recommended merge hours (weekend, and before 8:00 am IST). Docs and release note PRs should generally merge during India or US business hours. Proceeding — no action needed unless this is outside a prior arrangement.