Until this morning, the bot marked PRs as "merged" when merged. Example: https://github.com/OCA/server-ux/pull/780#event-11206939571 Now, it's marking them as "closed". Example: https://github.com/OCA/sale-workflow/pull/2796#event-11210579451 (this caused https://github.com/OCA/sale-workflow/issues/2794 to not be auto-closed).
Until this morning, the bot marked PRs as "merged" when merged. Example: OCA/server-ux#780 (comment)
Now, it's marking them as "closed". Example: OCA/sale-workflow#2796 (comment) (this caused OCA/sale-workflow#2794 to not be auto-closed).