bughelp wanted
Descrizione
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 https://github.com/refined-github/refined-github/pull/9636 and https://github.com/refined-github/refined-github/pull/9628)
Extension version
26.5.30
Browser(s) used
safari
Token ⚠️
- I set a token in the options page. I understand that some features require a token to work.