Off Topic: GitHub has so many navigation bars nowadays. Just look at the incorrect overflow caused by the overlapping project name and the buttons on the side: https://i.imgur.com/iXCgXYH.png . I don’t need to be an expert in UI/UX to know the GitHub UI is cluttered with an unnecessary amount of buttons. I can predict a redesign in less than a year or so, mark my words.