by shigemk2

当面は技術的なことしか書かない

sv.gnu.org vs sv.nongnu.org

いまいち違いがよくわからない

texinfoの作者いわく、sv.gnu.orgとsv.nongnu.orgはshort nameの関係らしいけど mail.gnu.org

freefriends.org

同じサイトの別ページでもclone先が違っていたりするけど、 savannah.gnu.org

savannah.gnu.org

Emacsのミラーはgit://git.sv.gnu.org/emacs.gitがミラー元だし。 github.com