[[2022 05 13]] [[agora trees]] [[emacs]] [[git]] [[git change remote]] [[github considered harmful]] [[promnesia]] [[public keys]] [[servers]]