> According to this they use Redcarpet.

They use Redcarpet for markdown on github.com. Jekyll handles all the markdown rendering for any GitHub Pages sites so they're our defaults instead, which in this case is MaRuKu.