GitHub to GitHub.dev Redirect Button

Add a button to replace github.com with github.dev in the current URL and navigate to it.

Per 01-04-2026. Zie de nieuwste versie.

Stel een vraag, plaats een beoordeling of rapporteer dit script.

Regels afbreken

// ==UserScript==
// @name         GitHub to GitHub.dev Redirect Button
// @namespace    http://tampermonkey.net/
// @version      1.0
// @description  Add a button to replace github.com with github.dev in the current URL and navigate to it.
// @author       Your Name
// @license      MIT
// @match        *://github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    // 创建按钮
    let button = document.createElement('button');
    button.innerText = 'Open in GitHub.dev';
    button.style.position = 'fixed';
    button.style.bottom = '20px';
    button.style.right = '20px';
    button.style.padding = '10px 15px';
    button.style.fontSize = '14px';
    button.style.backgroundColor = '#28a745';
    button.style.color = 'white';
    button.style.border = 'none';
    button.style.borderRadius = '5px';
    button.style.cursor = 'pointer';
    button.style.zIndex = '1000';

    // 按钮点击事件
    button.addEventListener('click', function() {
        let currentUrl = window.location.href;
        let newUrl = currentUrl.replace('github.com', 'github.dev');
        window.location.href = newUrl;
    });

    // 将按钮添加到页面
    document.body.appendChild(button);
})();