new feature: github.user.whitelist configuration for a whitelist of users