We currently skip any already decided patches when we are done with
the current one. This is sub-optimal in that it makes it hard to
undo selections. Example: you have selected the last three offers
and then have a change of mind. To deselect them you have to say
knkknkkkn. It's especially bad when splitting patches after going
back, where the current policy means that if you split an already
decided patch into two, you are offered the first, but not the
second part (because the splitted patches inherit the selection
status).
On the other hand we usually don't want to be asked for patches that
have been selected implicitly via dependencies. But we currently
have no way to distinguish between manually and implicitly decided
patches, so we'd first have to add build in such a distinction
before we can change skipMundane so that it only skips implicitly
decided patches.
|