Git repository status

[Yasushi SHOJI]

Hi,

It seems like we are transitioning from code.orgmode.org to
git.savannah.gnu.org, but still not synced?

Which branch, gnu.org/main or orgmode.org/master, should I make patches against?

Best,
--
                yashi