| 1 |
On 09/11/16 17:35, William L. Thomson Jr. wrote: |
| 2 |
> On Monday, November 7, 2016 9:02:15 AM EST Rich Freeman wrote: |
| 3 |
>> On Mon, Nov 7, 2016 at 8:43 AM, William L. Thomson Jr. |
| 4 |
>> |
| 5 |
>> <wlt-ml@××××××.com> wrote: |
| 6 |
>>> |
| 7 |
>>> Seems like all devs should have access to Gentoo's github at least with |
| 8 |
>>> regard to handling PR's. All devs have commit access thus all should have |
| 9 |
>>> access via Github as well. |
| 10 |
>>> |
| 11 |
>>> Maybe something added to the process of adding a new developer. |
| 12 |
>> Use of github is purely voluntary. We couldn't create github accounts |
| 13 |
>> anyway, we'd have to ask devs to sign up for their own. |
| 14 |
> Likely many have them already and could be handled at recruitment time. Rather |
| 15 |
> than having to do after the fact. Which I assume one requests such via a bug |
| 16 |
> request to infra. Not sure that is documented anywhere. |
| 17 |
The current processes do not make use of the GitHub repository directly |
| 18 |
- contributors may send pull requests, but in fact the changes are made |
| 19 |
to the git.g.o tree -first- and force-pushed BACK to github, and NOT the |
| 20 |
reverse. For this reason, devs do not have commit rights to GitHub.. |
| 21 |
only to the git.g.o tree. There are a select couple of contacts who have |
| 22 |
admin to the GH, and purely for discussion/group access control. |
Archives