Explore Features Pricing Docs Star

Public

My configuration files! Hope you find something useful!

Code Diagram Issues Pull Requests Actions Security Insights Settings

Unlock the power of AI to understand code instantly.

Twitter GitHub Discord

Product

Features
Pricing
Testimonials
FAQ

Resources

Documentation
API
Blog
Community

Company

About
Team
Careers
Contact

© 2025 GitHub.GG. All rights reserved.

Issues

Open Closed All

Closed Issues

refactor: use rtx instead of many managers

#47Opened 4/3/20230 commentsby dijonkitchen

Closed

fix: remove bash specifics, use flexible env bash for scripts

#46Opened 4/2/20230 commentsby dijonkitchen

Closed

refactor: rename to bootstrap script and main branch

#45Opened 4/2/20230 commentsby dijonkitchen

Closed

refactor: simplify brew

#44Opened 4/2/20230 commentsby dijonkitchen

Closed

build: less `brew`, simpler and better UX

#43Opened 4/2/20230 commentsby dijonkitchen

Closed

build: remove outside deps for dockerized versions

#42Opened 4/1/20230 commentsby dijonkitchen

Closed

build: global python, editor gitignores, remove templates

#41Opened 4/1/20230 commentsby dijonkitchen

Closed

Standardized tools

#40Opened 10/19/20221 commentsby dijonkitchen

Closed

Build zsh improvements

#39Opened 8/19/20220 commentsby dijonkitchen

Closed

feat: push tags along with latest branch HEAD

#38Opened 7/15/20220 commentsby dijonkitchen

Closed

PreviousPage 2Next