tree 13ba743d49ac097e07b65c63b5c2233a8b54566d
parent b9f8d919eae60aed0b25789454e637deef5ca82c
author Jonathan Nieder <jrn@google.com> 1531884409 -0700
committer Jonathan Nieder <jrn@google.com> 1531884409 -0700

Allow specifying which groups to subscribe to

JGit's RepoCommand defaults to tracking groups all,-notdefault.  Most
users of this plugin are likely to want to track all groups instead,
so provide a knob to allow requesting that.

If the value `all` proves overwhelmingly popular in practice, then it
can be made the default in JGit and this setting could be removed.

Change-Id: Ibddb5fdbaa9d57e6bce12affd39e14c73ee481e5
Reported-by: Jeff Gaston <jeffrygaston@google.com>