Updates on GitHub support in
@GoogleAIStudio:
- we now support importing Github repos
- we now support bi-directional GitHub sync (push / pull)
- brand new UI support for force pushes, merges, etc
Bi-directional push / pull took a while to land but excited it is here!