I need to do pull mirroring. “No problem!”, I thought. I thought I could do it just like I did it the last time. So I created a new repository and like before went to Settings->Repository->Mirroring Repositories to set it up. Got it, but the direction is greyed out. It will only do Push. After doing some digging, I find out that this is now “Premium”. Who decided it would be a good idea? Why was it a good idea?