it is a DVCS. it doesnt matter where it's hosted. external contributors should use github, core developers will go through git.php.net. it's all the same.