? main branch of core repo is not used for anything?

Development
2

Hi @Regina

There is a nice introduction post from Pedro that explains the new repository setup:

Your First Pull Request

Basically, core is no longer developed as a separate project in the way it used to be. The code now lives under the online repository, and the core is now subtree name engine inside online repo shared with the desktop and online.

I hope that forum post helps clarify the new setup and where patches should be submitted.

Thanks,
Darshan