Refresh workspace after each external Git operation