It's always helpful to push a private git branch to ease testing. Especially so when it's a large patch. That patch was still well under a megabyte uncompressed so I don't think it needed to be compressed for posting.