Adding new GitHub repository config properties.