Follow up on --not-in-remote patch, by allowing multiple repos, and using the
default push/pull repo if no arg given

Patch 1) Trivial whitespace
Patch 2) Allow multiple not-in-remote s and default to push/pull repo
Patch 3) Simple tidy-up
Patch 4) Abstract over common implmentation for multi-arg options

4 patches for repository http://www.darcs.net:

Sat Nov 15 11:49:44 GMT 2014  Owen Stephens <darcs@owenstephens.co.uk>
  * Remove some trailing spaces

Sat Nov 15 12:50:47 GMT 2014  Owen Stephens <darcs@owenstephens.co.uk>
  * Improve --not-in-remote, allowing multiple repos and use default
  
  Handle multiple repos, and use the default push/pull repo if no arg 
  is passed

Sat Nov 15 12:50:51 GMT 2014  Owen Stephens <darcs@owenstephens.co.uk>
  * Use fromMaybe d x instead of maybe d id x

Sat Nov 15 12:50:51 GMT 2014  Owen Stephens <darcs@owenstephens.co.uk>
  * Abstract out some common code in UI/Options/Util

Attachments

• patch-preview.txt
• remove-some-trailing-spaces.dpatch
• unnamed

Review of patch 2 (others are easy):

* D.R.Prefs: refactor; ok
* Unrecord: the main change. getNotInRemotePatches is new: announces the
list of not-in-remote repos and does the union of their patches
* D.Options.Util: new option constructor that allows a single flag to be
used several times and with an optional string parameter.
* Test script: OK

Accepted.

I have to push this into branch 2.10 since it's a dependency of a
patch we want (renaming rebase changes to rebase log).