Fix #533: Use a mutex to prevent concurrent git add/rm calls.