Project shared via Git, although did have problem with error (see other bug just filed). When I go to status, I get settings dialog up, prompting for username and password, but I cannot click OK even once they are both filled in. I suspect this is because name and email are blank, but because they are disabled fields, I cannot enter them. team.defs has the lines:
Which I think means they are saved; dialog not loading them correctly? (I think whether it does or does not load them correctly, there's probably no harm to making the fields editable anyway?)
Update: it looks like we draw these from the repository, where they are not set (git config user.email shows nothing). This may be due to the error in checkout (see
BLUEJ-968), but we should perhaps cater for this situation anyway?