GitHub のプルリクでブランチ検索が出来なくなったので復活させるスクリプト

GitHub の変更によっては動かなくなるかもしれませんが、パッチとして 🙏

e = document.getElementsByClassName("SelectMenu-filter")[0];
p = document.getElementsByClassName("js-branches-tags-tabs")[0].parentNode;
p.insertBefore(e, null);

ブックマークレットの場合はこちら

javascript:(function(){e = document.getElementsByClassName("SelectMenu-filter")[0];p = document.getElementsByClassName("js-branches-tags-tabs")[0].parentNode;p.insertBefore(e, null);})();