I'm not usually write reviews, but this script is simply amazing, I regularly use github on my phone and the mobile version doesn't seems to have an option to disable or change the way you navigate between users repos and a specific one without having to click two times on the links.
With this script it is very easy just like desktop version but on mobile.
Just one question, it's there any option to hide old header showing simultaneously with the new? Because when I click on it by mistake the page stops responding to touches and I need to reload it.
I just hide it with the browser integrated cosmetic filter, but it will be useful having the same functionality on the script.
I'm not usually write reviews, but this script is simply amazing, I regularly use github on my phone and the mobile version doesn't seems to have an option to disable or change the way you navigate between users repos and a specific one without having to click two times on the links.
With this script it is very easy just like desktop version but on mobile.
Just one question, it's there any option to hide old header showing simultaneously with the new? Because when I click on it by mistake the page stops responding to touches and I need to reload it.
I just hide it with the browser integrated cosmetic filter, but it will be useful having the same functionality on the script.
Thanks for sharing your fantastic work!