いまいち違いがよくわからない texinfoの作者いわく、sv.gnu.orgとsv.nongnu.orgはshort nameの関係らしいけど mail.gnu.org freefriends.org 同じサイトの別ページでもclone先が違っていたりするけど、 savannah.gnu.org savannah.gnu.org Emacsのミラーはg…

github.com