Assigned
Status Update
No update yet.
Comments
pa...@myitcv.org.uk
FWIW, I manually pushed 62ccbc0f983c3e6abdd786a6f2342b4f7b46d6c4 to GitHub in the interim, but 9d366cd68db61d461d752db8d649734ba08bd7fa is still not replicated.
pa...@myitcv.org.uk
Replication appears to be fixed again. For good measure, I reestablished GitHub auth for the cueckoo user which imported the repository. The submit of https://review.gerrithub.io/c/cue-lang/cue/+/540684 then went through without any issues. So I'll assume it was related to auth in some way.
Is there a way for us to view these logs in some way, to save pestering someone to do that for us?
Thanks
Is there a way for us to view these logs in some way, to save pestering someone to do that for us?
Thanks
is...@google.com
Edits were made to reflect the following in Monorail: auto-CCs.
Description
GerritHub/GitHub username: myitcv
GerritHub/GitHub projects names: cue-lang/cue
Full URL exhibiting the problem: n/a
Expected behavior: commits to replicate to GitHub with force push
Observed behavior: commits are not replicating
Timestamp when the error occurred (include timezone): Fri Jul 15 14:50:00 UTC
Has this worked before? If yes, when? Yes, all the time. Most recently at Fri Jul 15 11:52:52 UTC
If applicable: screenshot of erroneous UI element: n/a
If applicable: JavaScript console log (chrome: F12 > Console): n/a
If applicable: Browser (name, version, operating system) n/a
If using git command-line: output of "which git && git --version" n/a