Lines Matching full:github
13 contributions can be made by the general public - anyone with a GitHub account.
26 openbmc/general-developers GitHub team. If the contributor is a member of the
33 https://jenkins.io/ https://help.github.com/articles/about-organizations/
37 The existing method for authorization has a singular problem - the GitHub
39 openbmc/general-developers GitHub team, the contributor must first be a member
40 of the openbmc GitHub organization. Only organization owners can invite GitHub
48 - Not require the GitHub organization owner role to administer the list of users
55 The proposal is to simply migrate the current openbmc/general-developers GitHub
87 Gerrit group instead of the GitHub team.
94 Assigning GitHub organization owner roles to organizational group administrators
100 GitHub has vastly superior load balancing and backup capability so there is a