GitHub Community
Failed to add PR: expected head oid does not match current head oid #59365
-
Select Topic AreaBug BodyRPReplay_Final1686721443.mp4Reproducer:
ℹ️ Additional Debug InfoGitHub for iOS, Version 1.118.1 (103027020) Device: iPhone 12 mini (iOS 17.0) |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 4 replies
-
|
Hi @hfhbd thanks for the report! Does this go away after refreshing? I believe that if you update branch then pull to refresh, things should work. Either way, this is a bug that we should look at. Thanks! |
Beta Was this translation helpful? Give feedback.
-
|
Yes, manually refreshing does work, as a workaround. |
Beta Was this translation helpful? Give feedback.
-
|
Cool, will file this bug. Thanks! |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
|
Beta Was this translation helpful? Give feedback.
Hi @hfhbd thanks for the report! Does this go away after refreshing? I believe that if you update branch then pull to refresh, things should work.
Either way, this is a bug that we should look at. Thanks!