in the repo list, show the stored-user if no user is configured

implement UI for editing properties, relates to #497

(0) -30 -10 -2 +2 tip

mercurial