Hacker News new | ask | show | jobs
by ysh7 3718 days ago
Great news!! Yet is vagrant a real contributor? Or someone messed up his git user.name?
1 comments

It's someone with a name 'vagrant' in their git info, yes. Not the company.