Repository navigation
Patch Changes
- 5ccfa81: Fix PR creation banner not appearing under GitHub's Turbo soft navigation. The compare form now submits without a full page reload, so
checkForPRCreationSuccessis re-checked on DOM change (not only on init), mirroring the close feature.