Organized alphabetically config properties.

Also added github properties in JSON interface.