Re: [gnome-db] introspection issue

> Surely the latest stuff should be in master? You could branch the stable
> stuff to a stable branch.

I do agree. However I don't know how to do this with git. The current
situation is:
* a master branch (which is for the 4.2.X dev)
* a gtk3 branch
and I would like to (in that order):
1- rename the current master branch to "LIBGDA_4.2"
2- rename the gtk3 branch to master

Any idea how to do this?

(I've thought about a branch rename but I don't know how that would
propagate to the repository when using "git push").

Vivien