Skip to content

Index updates in the background

This makes the index updates always happen in the background, and puts up a notification for people to track progress. It also includes automatic index updates whenever someone adds a new repo or enables an existing repo.

This is also work towards the goal of replacing ProgressListener with the Android-native pattern of LocalBroadcastManager.

Merge request reports