Developer Tools

Jump to bottom

devlinjunker edited this page Dec 29, 2020 · 6 revisions

Extensions to make Github more usable (from: https://github.com/collections/github-browser-extensions

Octotree (Homepage)

File Tree in Repo
Pull Request File Tree
Bookmarks and File Search Bar when logged in

VSCode

TODO

Oh My ZSH

TODO

Ideas

Github Chrome Extensions
- Hide PR Merge section
- Project Dashboard Extension
- All Github Dashboard Extension