Fix Github Mobile (iOS Safari - Shortcuts - Run Javascript on Web page)

smh.js

(function () {
    function fixMobileGithub(document) {
        Array.from(document.getElementsByClassName("pr-toolbar")).forEach(toolbar => {
            toolbar.classList.remove("js-sticky", "js-position-sticky", "is-stuck");
            toolbar.style.position = "unset";
            toolbar.style.top = "";
            toolbar.style.padding = "";
        });
        Array.from(document.getElementsByClassName("file-header")).forEach(header => {
            header.classList.remove("sticky-file-header", "js-position-sticky");
            header.style.cssText = "flex-direction: row !important;";
        });
        let files = document.getElementById("files");
        if (files) {
            files.style.margin = "0px -17px 0px -17px";
        }
        let notification = document.getElementsByClassName("notification-shelf");
        if (notification.length) {
            notification[0].style.position = "unset";
        }
        ["gh-header-shadow", "gh-header-sticky"].forEach(className => {
            Array.from(document.getElementsByClassName(className)).forEach(element => {
                element.remove();
            });
        });
    }
    fixMobileGithub(document);
    completion();
})();