GitHub cuts short offer to burn repos on CD after mockery ensues