dom-distiller is not mirrored to github |
||||||
Issue descriptionThe canonical copy of DOM distiller is moved from github to gerrit/GoB in https://bugs.chromium.org/p/chromium/issues/detail?id=749769, and changes are automatically mirrored to github. However, the mirroring seems to have stopped for a while.
,
Aug 24
I need "owners/admin" authority on our Github project in order to do this. I have submitted a request for that.
,
Aug 27
,
Aug 27
Tommy, do you have admin access to https://github.com/chromium/dom-distiller?
,
Aug 27
Yes, and so does your wychen GitHub account now.
,
Aug 27
Also, chromium-infra-bot GitHub account also has access from earlier.
,
Aug 28
Can you make smut-on-git an admin for chromium/dom-distiller so I can set this up?
,
Aug 29
Invited smut-on-git. chromium-infra-bot is already an admin.
,
Aug 29
,
Aug 30
Should this be done by chromium-infra-bot instead of smut-on-git?
,
Aug 30
It's not done by either, it's done by git on borg itself. I just needed ownership to add the key used by git on borg. |
||||||
►
Sign in to add a comment |
||||||
Comment 1 by wychen@chromium.org
, Aug 24