[PD] svn or git on github or sourceforge?

[Peter P.]

Hi list,

I am wondering if Pd and externals development happens via subversion or
git? The page https://github.com/pure-data/pure-data says it is a
"tracking puredata SourceForge git repository ". So am I correct to
assume that development happens via git on sourceforge servers?

Thanks!
P