Performance Improvements

Re-indexing repositories is now done incrementally

Instead of doing a full refresh each time the Git index changes, index diff updates are now done incrementally ( bug 393642). This leads to a noticeable performance improvement in the following areas: