Nowadays the stuff on GitHub is simply a mirror. Originally, they used GitHub primarily. Why they used GitHub was explained by Sytse (or Sid) in 2013:
"We're just going to stay where the people are. [...] GitHub is where the contributors are."
You can hear him yourself in The Changelog #103 podcast at https://changelog.com/podcast/103. Again, this was from late 2013.