gistfile1.txt

[UPDATE] lurk-lab/.github will be changed to mergeCommits | squash
[UPDATE] lurk-lab/abomonation will be changed to mergeCommits | squash
[UPDATE] lurk-lab/abomonation_derive will be changed to mergeCommits | squash
[OK] lurk-lab/arecibo is already set to mergeCommits | squash
[UPDATE] lurk-lab/awesome-folding will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Bellanova.lean will be changed to mergeCommits | squash
[OK] lurk-lab/bellpepper is already set to mergeCommits | squash
[OK] lurk-lab/bellpepper-gadgets is already set to mergeCommits | squash
[UPDATE] lurk-lab/bellperson will be changed to mergeCommits | squash
[UPDATE] lurk-lab/bellperson-nonnative will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Blake3.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/blst will be changed to mergeCommits | squash
[UPDATE] lurk-lab/blstrs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/bytecursor will be changed to mergeCommits | squash
[UPDATE] lurk-lab/cached will be changed to mergeCommits | squash
[UPDATE] lurk-lab/cedille-core-rs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/ci-lab will be changed to mergeCommits | squash
[UPDATE] lurk-lab/cid will be changed to mergeCommits | squash
[UPDATE] lurk-lab/circom-lurk-adapter will be changed to mergeCommits | squash
[OK] lurk-lab/circom-scotia is already set to mergeCommits | squash
[UPDATE] lurk-lab/Cli.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/collaborations will be changed to mergeCommits | squash
[UPDATE] lurk-lab/ec-gpu will be changed to mergeCommits | squash
[UPDATE] lurk-lab/electrolysis will be changed to mergeCommits | squash
[OK] lurk-lab/elsa is already set to mergeCommits | squash
[UPDATE] lurk-lab/ff will be changed to mergeCommits | squash
[UPDATE] lurk-lab/FFaCiL.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/fut-ff will be changed to mergeCommits | squash
[OK] lurk-lab/gh-actions-runner is already set to mergeCommits | squash
[UPDATE] lurk-lab/github-actions-runner-cuda will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Grant-Milestone-Delivery will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Graph.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/grin will be changed to mergeCommits | squash
[UPDATE] lurk-lab/halo2curves will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Http.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/introit will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Ipld.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lake will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lean4 will be changed to mergeCommits | squash
[UPDATE] lurk-lab/libipld will be changed to mergeCommits | squash
[UPDATE] lurk-lab/LightData will be changed to mergeCommits | squash
[UPDATE] lurk-lab/LSpec will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lunatic will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-book will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-circom-adapter will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-clutch will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-emacs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-lab-ops will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-lab.com will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-lang-blog will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-lib will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-lisp will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-parse will be changed to mergeCommits | squash
[OK] lurk-lab/lurk-rs is already set to mergeCommits | squash
[UPDATE] lurk-lab/lurk-specs will be changed to mergeCommits | squash
[OK] lurk-lab/lurk-vscode is already set to mergeCommits | squash
[UPDATE] lurk-lab/lurk-web-utils will be changed to mergeCommits | squash
[UPDATE] lurk-lab/lurk-website will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Lurk.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/LurkFF.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/mathlib4 will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Megaparsec.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/melpa will be changed to mergeCommits | squash
[UPDATE] lurk-lab/merge-queue-scratch will be changed to mergeCommits | squash
[UPDATE] lurk-lab/naersk will be changed to mergeCommits | squash
[OK] lurk-lab/neptune is already set to mergeCommits | squash
[OK] lurk-lab/neptune-triton is already set to mergeCommits | squash
[UPDATE] lurk-lab/Neptune.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/nix-utils will be changed to mergeCommits | squash
[UPDATE] lurk-lab/nixos-configs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Nova will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Nova.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Open-Grants-Program will be changed to mergeCommits | squash
[UPDATE] lurk-lab/OpenGL.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/OpenSSL.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/pact-core will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Parsec.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/pasta-msm will be changed to mergeCommits | squash
[UPDATE] lurk-lab/pasta_curves will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Poseidon.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/printiest will be changed to mergeCommits | squash
[UPDATE] lurk-lab/project-management-private will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Radiya.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/radiya.rs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/rust-cid will be changed to mergeCommits | squash
[UPDATE] lurk-lab/rust-gpu-tools will be changed to mergeCommits | squash
[UPDATE] lurk-lab/RustFFI.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/rustyline will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Serde.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Socket.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/solidity-verifier will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-cid will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-im will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-ipld will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-multihash will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-ropey will be changed to mergeCommits | squash
[UPDATE] lurk-lab/sp-sized-chunks will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Spark.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/specs will be changed to mergeCommits | squash
[UPDATE] lurk-lab/straume will be changed to mergeCommits | squash
[UPDATE] lurk-lab/substrate-front-end-template will be changed to mergeCommits | squash
[UPDATE] lurk-lab/substrate-node-template will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Sudoku.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/test-pallet will be changed to mergeCommits | squash
[UPDATE] lurk-lab/user-manual will be changed to mergeCommits | squash
[UPDATE] lurk-lab/valus will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Vero will be changed to mergeCommits | squash
[UPDATE] lurk-lab/Wasm.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/yatima will be changed to mergeCommits | squash
[UPDATE] lurk-lab/yatima-lang-alpha will be changed to mergeCommits | squash
[UPDATE] lurk-lab/yatima-lang-proto will be changed to mergeCommits | squash
[UPDATE] lurk-lab/YatimaStdLib.lean will be changed to mergeCommits | squash
[UPDATE] lurk-lab/zaps will be changed to mergeCommits | squash
[UPDATE] lurk-lab/zaps-frontend will be changed to mergeCommits | squash
[UPDATE] lurk-lab/ZKSnark.lean will be changed to mergeCommits | squash