3 ms·

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

• steveklabnik 10y ago
  It's someone with a name 'vagrant' in their git info, yes. Not the company.