☰

Github Bors Merge

Adds a button to easily start/stop PR merge when using bors

יוצר
sanket0896
התקנות יומיות
0
סה"כ התקנות
6
דירוגים
0 0 0
גרסה
0.1
נוצר
16-03-2023
עודכן
16-03-2023
Size
4.41 קילו-בייט
רישיון
לא זמין
חל על

You can also try these related scripts:

  • GitHub הורדת תיקיות - הוסף כפתור הורדה，מאפשר הורדה קלה של ספציפיים GitHub תיקייה。
  • GitHub מיין לפי תאריך - שנה את מיון הקבצים ליורד לפי תאריך，צפה בנוחות בקבצים המעודכנים האחרונים。
  • Github העתק את הקובץ המקורי URL עם קבצים להורדה - כפתור הוסף בסוף כל שורת קובץ，כדי להעתיק את הקובץ המקורי URL ולהוריד קבצים
  • מחסן כוכב Github עוזר הערות - האם שכחת את מטרת מאגרי הכוכבים? זהו סקריפט שיכול להוסיף הערות למאגרים המועדפים עליך, וניתן להעלות ולהוריד את המידע שאתה מעיר
  • GitHub מציג גודל קבצים ותיקיות - מציג את הגודל של כל קובץ ותיקיה במאגר GitHub. הוא משתמש בממשק ה- API של GitHub כדי לקבל פרטים, כולל מידות תיקיות רקורסיביות, מה שמקל על הצפייה בגודל הכולל של ספריות מקוננות. הצג את גודל הקובץ ב- KB, MB או GB