Details
-
Bug
-
Resolution: Obsolete
-
Low
-
2.7.0
Description
So any changes pushed whilst they were not indexing will not be indexed until the first push after it has been started.
One workaround is to manually press the re-index button in the Maintenance section when starting a stopped manual repository.