Yes, that is a well known feature introduced last year. I saw hundreds of people talking about it on Twitter and here on Hacker News. Link for people who didn’

Yes, that is a well known feature introduced last year. I saw hundreds of people talking about it on Twitter and here on Hacker News. Link for people who didn’t know about this feature: https://mobile.twitter.com/github/status/1425505817827151872 https://mobile.twitter.com/github/status/1425505817827151872 and the official documentation with other keyboard shortcuts: https://docs.github.com/en/get-started/using-github/keyboard-shortcuts https://docs.github.com/en/get-started/using-github/keyboard...