Status Update
No update yet.
Comments
lu...@gmail.com
Hi Paul, the issue seems to be on the GitHub side, see below the replication push failure logs: "[2024-09-02 18:40:27,644] Failed replicate of refs/heads/master to ssh://cue-ed25519/cue-lang/contrib-tools.git, reason: protected branch hook declined [CONTEXT PLUGIN="replication" SUBMISSION_ID="1200527-1725302409404-1a368405" project="cue-lang/contrib-tools" pushOneId="22b4380c" request="REST /changes//revisions//submit" ]"
pa...@myitcv.org.uk
Luca - thanks very much for sharing that (if there's any way we can see these logs to avoid raising support requests please let me know!)
This does indeed look like a config problem. When we moved the repo, for some reason the exception on the branch protection rule for cueckoo was dropped. Re-adding that and the mirror process is working again as of
Thanks for responding so quickly.
Description
** If you are interested in activating a new Support contract, use the
** This is for bugs in Gerrit sites hosted at *.
GerritHub/GitHub username: myitcv
GerritHub/GitHub projects names:
Full URL exhibiting the problem:
Expected behavior: change 14ba6b4 should have been mirrored to GitHub (this is the first change submitted via GerritHub since the import of this project. Noting that this repo is a reimported version of cue-sh/tools, per
Observed behavior: change 14ba6b4 not mirrored.
Timestamp when the error occurred (include timezone): 2024/09/02 1642 UTC
Has this worked before? If yes, when? In all other cue-lang repos, e.g.
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
This repo should be part of the existing cue-ed25519.config setup, and hence have force-push enabled.