Skip to content

Instantly share code, notes, and snippets.

@Badbird5907
Created December 5, 2023 20:09
Show Gist options
  • Select an option

  • Save Badbird5907/01e124f7887cc3eac1771fd426752e6d to your computer and use it in GitHub Desktop.

Select an option

Save Badbird5907/01e124f7887cc3eac1771fd426752e6d to your computer and use it in GitHub Desktop.
PaperMC 10k
// ==UserScript==
// @name PaperMC 10k
// @namespace https://papermc.io/
// @version 0.1
// @description Set the issue number to 10000
// @author Not ChatGPT
// @match https://github.com/PaperMC/Paper/issues/10001
// @grant none
// ==/UserScript==
(function() {
'use strict';
// Select the issue number element
const issueNumberElement = document.querySelector('#partial-discussion-header > div.gh-header-show.gh-header-no-access > div > h1 > span');
if (issueNumberElement) {
// Set the issue number to 10000
issueNumberElement.innerText = '#10000';
const newUrl = window.location.href.replace(/\/\d+$/, `/10000`);
history.replaceState({}, document.title, newUrl);
}
})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment