ednapiranha/webtools-workermgmt — comment on commit 8d166845311b709c60ea00380b3521a98d88bf5b
File:  line 0
By fwenzel:

If you wanted to remove all vagrant-related files, you missed a few.