github/developer.github.com — pull request #423 by kneath (2014-02-05 19:53:39+00:00)
Title: Use a new property for developer.github.com

The old property was shared with help.github.com, this is a new property for just developer.github.com