Github sync

We've launched an experimental "GPT Engineer" GPT in the GPT Store.

Features

• Sync pushed git commits by devs with editor.
• Reduced number of comments in generated code, thereby improving reliability.

Fixes

• Fixed plan/summary being inaccessible from the UI if an error occurs.