Fun story: I originally didn't get the username at work, since we weren't technically equipped to have numbers in usernames at the time.
I was sort of the motivating case for fixing that, and got to fix all the bugs that I thereby introduced, including my personal favorite:
I was sort of the motivating case for fixing that, and got to fix all the bugs that I thereby introduced, including my personal favorite:
We have a lot of services. We have one service which lets you test any of the services (as a developer); it proxies from a central location to your own personal VPS somewhere in the cloud running whatever code you tell it to.
The proxy had a regexp which didn't accept numbers.
The proxy had a regexp which didn't accept numbers.
The fix was pretty trivial. 3 character addition.
Which I couldn't even execute, so the PR was basically "OK I eyeballed this but you literally can't reproduce the fail case so let's think very carefully prior to possibly borking this regexp and shutting down all engineers."
Which I couldn't even execute, so the PR was basically "OK I eyeballed this but you literally can't reproduce the fail case so let's think very carefully prior to possibly borking this regexp and shutting down all engineers."
