feat: Github Integration

[juliusmarminge]

Main goal: Go from idea to PR blazingly fast

• Core features (commit, push, create/open PR)
• commit status, mergability checks etc

Pros and Cons with alternatives

Conductor:

• ✅ One click action for a lot of stuff (these are really just prompt templates exposed as buttons)
  • Commit & Push
  • Create PR
  • Resolve Conflicts
  • Fix Errors
    • Their solution here is subpar at best though.. they just paste the entire ci log to context. Models are veeeery good at using the gh cli already so they can very easily just figure it out on their own and selectively get what they need, especially when paired with a SKILL

• ❌ Their sync is terrible...
• ❌ Everything HAS to be a github repo

Codex

• ✅ UI is more selective
  • You can choose to only commit for example wihtout pushing
• ❌ You can't one-click create feature branch if you have local changes on main

Others

• Would like to have stacking (Graphite?)

[juliusmarminge]

The original umbrella has been overtaken by the current commit, push, and pull-request workflow and is too broad to track remaining GitHub integration work effectively. Any missing behavior should be filed as a focused issue against the current integration.

This was closed as part of a large repo-wide maintenance sweep. If you think it's still relevant, please reopen.