Great news!! Yet is vagrant a real contributor? Or someone messed up his git user.name?