| commit | b54bf314bb093e46fd98afdbc35767656ef6d607 | [log] [tgz] |
|---|---|---|
| author | Jonathan Nieder <jrn@google.com> | Tue Jul 17 20:26:49 2018 -0700 |
| committer | Jonathan Nieder <jrn@google.com> | Tue Jul 17 20:26:49 2018 -0700 |
| tree | 13ba743d49ac097e07b65c63b5c2233a8b54566d | |
| parent | b9f8d919eae60aed0b25789454e637deef5ca82c [diff] |
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>
The plugin will update a superproject to contain the submodules defined in the manifest XML file whenever the manifest repo is changed.
For more information see the documentation.