Github PR Fetch mgalgs מאת
Adds remote URL and ref information to GH PRs for easy copy/pasting. Options to checkout, merge, cherry-pick, or just fetch. Similar functionality to Github's `gh` tool, but with vanilla git.
יש צורך ב־Firefox כדי להשתמש בהרחבה זו
נתוני העל של ההרחבה
צילומי מסך
על אודות הרחבה זו
Simple extension that adds a `git fetch` command to GitHub pull request pages, making it easy to fetch and check out pull requests locally without some nonsense `gh` utility, just plain ol' git.
This idea was copied from the Gerrit Code Review tool. Gerrit users using Github: rejoice!
This extension is open source: https://github.com/mgalgs/github-pr-fetch
This idea was copied from the Gerrit Code Review tool. Gerrit users using Github: rejoice!
This extension is open source: https://github.com/mgalgs/github-pr-fetch
דירוג החוויה שלך
הרשאות ונתוניםמידע נוסף
הרשאות נדרשות:
- גישה לנתונים שלך עבור github.com
מידע נוסף
- קישורים לתוספת
- גרסה
- 1.2
- גודל
- 14.05 ק״ב
- עדכון אחרון
- לפני שנתיים (17 אוג׳ 2023)
- קטגוריות קשורות
- רישיון
- MIT License
- היסטוריית הגרסאות
הוספה לאוסף
הערות שחרור עבור 1.2
Added "transport" setting (to switch between https and git).
עוד הרחבות מאת mgalgs
אין דירוגים עדיין- אין דירוגים עדיין
- אין דירוגים עדיין
- אין דירוגים עדיין
- אין דירוגים עדיין
- אין דירוגים עדיין