Description
I just merged two PRs and the PR title was not updated. I forgot to check the console. The checkbox appears when merging, but there's no "change title" action
How to replicate the issue + URL
Any open mergeable PR (failed in #9636 and #9628)
Extension version
26.5.30
Browser(s) used
safari
Token ⚠️
Description
I just merged two PRs and the PR title was not updated. I forgot to check the console. The checkbox appears when merging, but there's no "change title" action
How to replicate the issue + URL
Any open mergeable PR (failed in #9636 and #9628)
Extension version
26.5.30
Browser(s) used
safari
Token⚠️