-
|
GitHub Mobile beta for Android I got a notification about radis/radis#667 in the GitHub Mobile application. Note that when I opened the PR in Chrome, it showed that I couldn't update the branch -- amongst other things, it had been merged. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 2 replies
-
|
Hi @jsoref 👋 Thanks for the feedback!
That sounds like a caching issue on our part. Was the PR open before navigating to the PR through the notification? We are sadly not updating the issues or prs in real time for now, but we are planning for improvements 🙇 Also, we are planning to update our merge box to be more aligned with the web soon too. Please stay tuned for our future updates 😊 |
Beta Was this translation helpful? Give feedback.

Oh that is a great catch indeed ❤️
Let me create a bug report and try to fix it as soon as possible 🙇
Thanks once again!