// ==UserScript==
// @name                Disable terrible github actions run search
// @namespace           https://github.com/bigwheel
// @version             0.1
// @description         Disable terrible github actions run search. I hate it.
// @author              kbigwheel
// @match               https://github.com/*
// @license MIT
// ==/UserScript==
window.addEventListener('load', function() {
document.getElementsByClassName("js-checks-log-search-input")[0].removeAttribute('data-hotkey');
}, false);