Para mim, esse recurso era tão óbvio, que não pode ser ainda mais óbvio. Eu preferia pensar que vou obter uma resposta rápida aqui, que ela já foi implementada e só estou faltando algumas configurações para habilitá-la. Quero dizer, como o GitHub sobreviveu por tanto tempo, sem esse recurso?
Como não houve resposta aqui, relatei isso ao GitHub. Acontece que eu estava errado - não é tão óbvio para os outros, como eu supunha. Acabei de receber a confirmação:
Obrigado pelo seu feedback! Estamos sempre trabalhando para melhorar o GitHub e consideramos todas as sugestões que recebemos. Adicionei sua ideia sobre como salvar as configurações do editor embutido em nossa Lista de solicitações de recursos ™ interna.
Não comentamos publicamente sobre se ou quando podemos implementar um recurso específico até que ele seja enviado, no entanto, seu feedback foi definitivamente registrado.
Isso é tudo sobre a declaração / resposta oficial do GitHub. Espero que outras pessoas encontrem esse recurso que vale a pena implementar (cinco votações durante apenas um dia parecem confirmar, que outros querem isso também). Portanto, esperemos que isso continue na lista de solicitações de recursos do GitHub ™ e seja implementado em breve.
Editar (após catorze meses desde a resposta): não há muita mudança sobre esse assunto. As configurações não padrão, feitas pelo usuário para o editor embutido, ainda não são salvas. A única diferença é que eles mudaram um pouco as configurações padrão, então agora é:
Salvar as configurações do usuário no editor é algo óbvio e simples de implementar. Não implementá-lo nos últimos catorze meses deve sugerir que esse recurso não será implementado. Pena...