An optional supplement to the "GitHub Red Issues" script/style.
נכון ליום 09-03-2025. ראה הגרסה האחרונה.
יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות
cover few discussions as gray
extend supported to proxies/mirrors
