This won't be effective until the repo is moved to a github org and these folks are given the needed permissions.