Refined GitHub 4+

Sindre Sorhus

    • 4,8 • 5 Bewertungen
    • Gratis

Beschreibung

Refined GitHub is a Safari extension that simplifies the GitHub.com interface and adds useful features.


■ Highlights

- Linkifies issue/PR references and URLs in code.
- Makes whitespace characters visible.
- Reduces tabs’ size to 4 spaces instead of 8.
- Adds one-click merge conflict fixers.
- Adds reaction avatars showing who reacted to a comment.
- Adds a button to revert all the changes to a file in a PR.
- Adds a build/CI status icon next to the repo’s name.
- Adds a button to view the source of Markdown files.
- Shows PRs that touch the current file.
- Highlights the most useful comment in conversations.
- Shows the first Git tag a merged PR was included in.
- Adds a link to an automatic changelog for each tag/release.
- Adds possible related pages and alternatives on 404 pages.
- Displays the age of the repository in the sidebar.

And so much more! 200+ features. See the website for a full list of features.


The GITHUB and REFINED GITHUB trademarks are owned by GitHub, Inc. and used under license.

Neuheiten

Version 24.2.8

- Bug fixes.

Bewertungen und Rezensionen

4,8 von 5
5 Bewertungen

5 Bewertungen

App-Datenschutz

Der Entwickler, Sindre Sorhus, hat darauf hingewiesen, dass die Datenschutzrichtlinien der App den unten stehenden Umgang mit Daten einschließen können. Weitere Informationen findest du in den Datenschutzrichtlinien des Entwicklers.

Keine Daten erfasst

Der Entwickler erfasst keine Daten von dieser App.

Die Datenschutzpraktiken können zum Beispiel je nach den von dir verwendeten Funktionen oder deinem Alter variieren. Weitere Infos

Mehr von diesem Entwickler

Photo Widget — The Best One
Lifestyle
Aiko
Produktivität
Actions
Dienst­programme
Any Text · Widgets
Dienst­programme
Quick Launch
Produktivität
Amazing AI
Grafik und Design

Das gefällt dir vielleicht auch

ZLGithubClient
Entwickler-Tools
Working Copy - Git client
Entwickler-Tools
xTerm256 Terminal & SSH Client
Entwickler-Tools
Debug Anywhere
Entwickler-Tools
Jellycuts
Entwickler-Tools
PPHub For GitHub - Developer
Entwickler-Tools