Hey man, it's cool, I was just surprised :) Thanks for response!
Discord. Okiedokie. Thanks for the tip!
Previous repair rate for xmas cards was very cheap, that's right, but I only have 'harvester' to compare to, so I couldn't really know what's the intended target rate.
Regarding repair - ok! - but I'm preeetty sure that day or two ago, it was possible to run simultanenous mining and repair. I remember one repair was near finished (but not yet), and I managed to equip items and start mining session. But I wasn't sure if it really saw what I thought I saw, because a moment later repair timer expired. Or something like that. So, when mining finished, I deliberately checked again to see if the restriction was lifted:
These are my loose notes from that moment. I sent 4 XMAS items to repair, and then few minutes later I successully started mining (100 minutes), after it finished, I tried it again to see if it was some fluke/lag/etc - but not, again, I've send 4 more items to repair (only 2hrs passed, and so far I always set repairs to 3h), and then I've left ~1hr to pass, so it's sure all is synced up - and again I was able to start the mining.
This was done somewhere close to the moment "multiselection" was added on the repair page, but not the current one with small buttons right above the item list, but the previous version with larger buttons, higher up the page.
Considering what you said, it looks to me like at the time the UI was skipping the check (probably temporary bug with new multi-selection which was fixed later), and the backend/etc accepted the request anyways despite repair was ongoing. I'm saying what I observed just in case you wanted to double check if it's properly blocked, both on UI and the Backend/Contract/whateveryouusethere/etc.
Have a great weekend! :)