8e4cbefbc6
Mostly the username is only used for the git committer or other display purposes, and we can just fall back to a dummy value in these cases. The only remaining place where an error is thrown is when starting local pairing, which needs the username to be known. |
||
---|---|---|
.. | ||
Configurators | ||
Common.hs | ||
Configurators.hs | ||
Control.hs | ||
DashBoard.hs | ||
Documentation.hs | ||
Form.hs | ||
Gpg.hs | ||
MakeRemote.hs | ||
Notifications.hs | ||
OtherRepos.hs | ||
Page.hs | ||
Repair.hs | ||
RepoId.hs | ||
RepoList.hs | ||
routes | ||
SideBar.hs | ||
Types.hs |