doc: reword developer action on merge

2 jobs for master in 1 minute and 18 seconds (queued for 13 minutes and 28 seconds)