Revert "git spinnt"

This reverts commit ae0d4b2262ff809aaa97577529d3033326b1c4c1, reversing
changes made to ce7d8a5db402405c290e8613666f004e9cfbc710.