A lazy way to update many git repositories at once