New issue
Advanced search Search tips
Note: Color blocks (like or ) mean that a user may not be available. Tooltip shows the reason.

Issue 874207 link

Starred by 1 user

Issue metadata

Status: Fixed
Owner:
Closed: Aug 29
Cc:
Components:
EstimatedDays: ----
NextAction: ----
OS: ----
Pri: 1
Type: Bug

Blocked on:
issue 852497



Sign in to add a comment

dom-distiller is not mirrored to github

Project Member Reported by wychen@chromium.org, Aug 14

Issue description

The 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.
 
Components: Infra>Git>Admin
https://chromium.googlesource.com/chromium/dom-distiller should be automatically mirrored to https://github.com/chromium/dom-distiller.

Git admin, could you take a look? Thanks!
Owner: flyboy@chromium.org
Status: Assigned (was: Available)
I need "owners/admin" authority on our Github project in order to do this.  I have submitted a request for that.
Owner: ----
Status: Untriaged (was: Assigned)
Cc: nyquist@chromium.org
Status: Available (was: Untriaged)
Tommy, do you have admin access to https://github.com/chromium/dom-distiller?
Yes, and so does your wychen GitHub account now.
Also, chromium-infra-bot GitHub account also has access from earlier.
Blockedon: 852497
Can you make smut-on-git an admin for chromium/dom-distiller so I can set this up?
Invited smut-on-git. chromium-infra-bot is already an admin.
Owner: s...@google.com
Status: Fixed (was: Available)
Should this be done by chromium-infra-bot instead of smut-on-git?
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