Are you a robot? Then check out this awesome page!
Is this commit without too many change so that Git catches on the rename? Yes, yes it is.
Geoffrey Frogeye