github/github-services — pull request #744 by miketheman (2013-11-27 18:02:44+00:00)
Title: ignore more ruby management artifact

This is a generated file from RVM, and since it has no use beyond a
developer's workstation, it is not needed.