Replies: 1 comment 3 replies
-
@stevepopovich I was about to file this. Although I'd have summarized it as |
Beta Was this translation helpful? Give feedback.
3 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
There are some problems with reading a PR in the current version of the iOS app:
Ie the info about which commit has been merged is not useful.
Beta Was this translation helpful? Give feedback.
All reactions