github.dev does not open the right repository if code focused

[ddecrulle]

Select Topic Area

Bug

Body

Currently, when I'm on a code repository, I usually open the online editor (github.dev) by pressing the "." key. However, when I'm focusing on the code of the repository and try to open the editor, it doesn't open for the current repository but instead defaults to github/dev. If I focus on something other than the code, the editor opens correctly and is initialized with the correct code repository.

This bug has appeared since the last global graphical interface update.