Nothing major, just some small quality of life improvements here:

- Makes the header's checkmark always visible and the entire row surface
area a clickable target
- Only displays the project picker when there is more than one repo;
this avoids having to show a disabled button

Release Notes:

- N/A