gistfile1.txt

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