Temporary fixes slash issue on GitLab's WebIDE

userscript.js

// ==UserScript==
// @name         Fix GitLab's WebIDE slash issue
// @version      0.1
// @author       ajhsu
// @match        https://gitlab.yourdomain.com/-/ide/project/*
// ==/UserScript==

/**
 * Attach event handler for history.pushState
 */
(function(history) {
  const pushState = history.pushState;
  history.pushState = function(state) {
    const res = pushState.apply(history, arguments);
    if (typeof history.onpushstate == "function") {
      history.onpushstate({
        state: state
      });
    }
    return res;
  };
})(window.history);

/**
 * Main
 */
(function() {
  const encodedSlash = encodeURIComponent("/");
  const branchPrefixes = ["feature/", "hotfix/", "release/", "support/"];
  function checkForRedirection() {
    branchPrefixes
      .filter(function(prefix) {
        return window.location.href.indexOf("blob/" + prefix) !== -1;
      })
      .forEach(function(prefix) {
        window.location = window.location.href.replace(
          prefix,
          prefix.replace("/", encodedSlash)
        );
      });
  }
  checkForRedirection();
  history.onpushstate = function() {
    checkForRedirection();
  };
})();

issue: https://gitlab.com/gitlab-org/gitlab-ce/issues/45878