Code

refresh_index: make porcelain output more specific