This no-longer exists. Use one of the other Guix servers in the example.
doc: remove Carls substitute server from Guix docs #32498
pull fanquake wants to merge 1 commits into bitcoin:master from fanquake:remove_carl_substitute_server changing 1 files +5 −11-
fanquake commented at 2:10 PM on May 14, 2025: member
-
3b824169c7
doc: remove Carls substitute server from Guix docs
This no-longer exists. Use one of the other Guix servers in the example.
-
DrahtBot commented at 2:10 PM on May 14, 2025: contributor
<!--e57a25ab6845829454e8d69fc972939a-->
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
<!--006a51241073e994b41acfe9ec718e94-->
Code Coverage & Benchmarks
For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/32498.
<!--021abf342d371248e50ceaed478a90ca-->
Reviews
See the guideline for information on the review process.
If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.
<!--5faf32d7da4f0f540f40219e4f7537a3-->
- DrahtBot added the label Docs on May 14, 2025
-
achow101 commented at 9:55 PM on May 14, 2025: member
ACK 3b824169c7766460794bb445028ac55a7111ee3e
Carl's substitute server is indeed down, IIRC I ran into this a couple months ago.
The replacement matches the Guix defaults.
- hebasto approved
-
hebasto commented at 6:21 AM on May 15, 2025: member
ACK 3b824169c7766460794bb445028ac55a7111ee3e, the listed substitute servers are the same as in https://guix.gnu.org/manual/en/html_node/Official-Substitute-Servers.html.
- fanquake merged this on May 15, 2025
- fanquake closed this on May 15, 2025
- fanquake deleted the branch on May 15, 2025
