Page MenuHomePhabricator

Mirroring tool-spacemedia Diffusion repository to GitHub seems to be broken
Closed, InvalidPublic

Description

Mirroring from https://phabricator.wikimedia.org/source/tool-spacemedia to https://github.com/toolforge/tool-spacemedia was setup in T251699 and worked fine until 12 hours ago.

Last mirrored commit: https://phabricator.wikimedia.org/R2610:51adb361e0e46c337eea1bc6694e5968f12f65bc => https://github.com/toolforge/tool-spacemedia/commit/51adb361e0e46c337eea1bc6694e5968f12f65bc
First commit where mirroring stopped: https://phabricator.wikimedia.org/R2610:2a7c248e65bd67f611f31f8659cd464c7bbce136

I've pushed three more commits after this one and waited for 12 hours, still nothing from toolforge-push bot on GitHub.

Event Timeline

bd808 triaged this task as High priority.
bd808 subscribed.

I'll take a look and see if I can figure out what got broken.

I just did a quick check and verified that:

  • The mirror url is using the most recent GitHub account credentials
  • The bot account on the GitHub side has permissions to update the repository

Just to see if anything will change I also manually scheduled the repo for an update run. Actually getting to the bottom of this may take help from someone with access to the logs on the Phabricator instance as there does not really seem to be any mirror run feedback recorded in Phabricator itself.

I just pushed manually to GitHub myself, let see if phabricator mirroring works again at next commit now...

Looks like Toolforge-push bot is working again!

image.png (153×593 px, 10 KB)

So I guess we can close this task :)

I'm happy it started working, but I guess we really don't know why it stopped or why it started again. :/ I'm going to mark this as "invalid" not because the error didn't happen, but because I have no idea what fixed it.