Github Dashboard Filter

Minimizes pushs and commits from github actions and bots from github.com dashboard

Versión del día 29/05/2022. Echa un vistazo a la versión más reciente.

// ==UserScript==
// @name         Github Dashboard Filter
// @description  Minimizes pushs and commits from github actions and bots from github.com dashboard
// @namespace    RyoLee
// @author       RyoLee
// @version      0.4
// @copyright    2022, RyoLee (https://github.com/RyoLee)
// @license      GPL-3.0-or-later; http://www.gnu.org/licenses/gpl-3.0.txt
// @icon         https://github.githubassets.com/pinned-octocat.svg
// @match        https://github.com/
// @grant        none
// ==/UserScript==

(function () {
    'use strict'

    function hideBots () {
      document.querySelectorAll('#dashboard div.push:not(.shotBot)').forEach(function (div) {
        const label = div.querySelector('.body .d-flex .d-flex .Label')
        const isAppUrl = div.querySelector('.body .d-flex .d-flex a.Link--primary[href^="/apps/"]')
        if (isAppUrl || (label && label.textContent === 'bot')) {
          div.style.display = 'none'
        }
      })
    }

    hideBots()
    const iv = window.setInterval(hideBots, 200)
    window.setTimeout(() => window.clearInterval(iv), 5000)
    window.setInterval(hideBots, 4000)
  })()