Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

יוצר
whtsky
התקנות יומיות
0
סה"כ התקנות
50
דירוגים
1 0 0
גרסה
5
נוצר
11-11-2019
עודכן
18-06-2020
Size
2.21 קילו-בייט
רישיון
לא זמין
חל על
+

You can also try these related scripts:

  • GitHub הורדת תיקיות - הוסף כפתור הורדה,מאפשר הורדה קלה של ספציפיים GitHub תיקייה。
  • Github GiSt Code Snippet Copy and Downloader - הוסף כפתור העתק לקובץ ה- GIST כדי להפוך את הקוד להעתיק בקלות. |.
  • Finder כתובת דוא"ל github - השתמש בנתוני אירועים ציבוריים (לדוגמה, הגשה שנדחפה לבסיס קוד ציבורי), קבל את כתובת הדוא"ל של הגשת המשתמש והציג אותה בדף הפרופיל. בנוסף, הוא מוסיף גם כפתור "עותק ללוח" נוח להעתקה קלה.
  • כפתור קשור ל-Commits של GitHub: גבול שחור וטקסט כחול על צהוב - כפתור ההקלטה של Commits ב-GitHub מוקף בגבול שחור, מוצג בגופן כחול ומודגש עם רקע צהוב
  • 🤠 גודל תצוגה של עוזר מחסן Github משופר - 🤠 גודל תצוגת המחסן: בחיפוש הקוד של GitHub, חיפוש המחסן, דף הנושא, רשימת מחסני המשתמשים ודף המאגר, גודל המחסן יוצג לצד שם המחסן, מה שיאפשר למשתמשים להבין במהירות את קנה המידה של המחסן ולבצע אופטימיזציה שלהם בְּחִירָה. אזהרת פיתוח לא פעיל: אם מאגר לא עודכן בששת החודשים האחרונים, המערכת תוסיף הנחיה בחלק העליון של המאגר כדי להזכיר למשתמשים שהמאגר אינו פעיל ולהציג את שעת העדכון האחרון. זה עוזר למשתמשים לקבוע את מצב הפעילות והתחזוקה של המחסן. קפיצה מהירה בתוך המחסן: בעת גלישה במחסן, המשתמש יכול לראות