git.lucas.co / cce-browser
web browser (Servo)
git clone https://git.lucas.co/cce-browser.git

commitb52b71b308264d449a80b9bf942ee9b7276245c5
parentcb1776bace
authorLucas Galante <[email protected]>
date2026-09-21 12:45
Pin workspace dependencies to GitHub, the crates' origin

The pins named git.lucas.co, which since 2026-09-20 is only an hourly
mirror of GitHub: a rev pinned right after a push was unfetchable from
there for up to an hour, and the workspace root's [patch] keys had to
name the mirror too. Same revs, origin URL. The root patch block and
bump-revs.sh moved with it.

Co-Authored-By: Claude Fable 5.1 <[email protected]>

 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index b1c9065..2da0009 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -19,7 +19,7 @@ wpe = ["dep:rustix"]
 servo = ["dep:servo", "dep:dpi", "dep:euclid", "dep:rustls", "dep:reqwest", "dep:http"]
 
 [dependencies]
-cce-ui = { git = "https://git.lucas.co/cce-ui.git", rev = "f2fc3c8e03f0f7c0f49fe11e51f416014f28b8b3" }
+cce-ui = { git = "https://github.com/lsgalante/cce-ui.git", rev = "f2fc3c8e03f0f7c0f49fe11e51f416014f28b8b3" }
 calloop = "0.13.0"
 wayland-client = { version = "0.31", features = ["system"] }
 servo = { version = "0.4", optional = true }