GerritSuperManifestRepoManager: Add comment for unused parameter This was mentioned in the review of the parent change: https://gerrit-review.googlesource.com/c/plugins/supermanifest/+/301085 Change-Id: Id796c6f920113959222bf018085d57b5af4ebbfd
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 or the build instructions