Open yajo opened 11 months ago
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: 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).