I recall a HN user whose GitHub username was some common word related to software development (like @deploy or @prod, but I can't recall the right name). There

I recall a HN user whose GitHub username was some common word related to software development (like @deploy or @prod, but I can't recall the right name). There was a thread about six months ago mentioned that they get @'ed constantly by mistake. They had a funny attitude towards it, though. They said they always enjoy getting to see what everyone else is working on and didn't mind the notifications. If anyone remembers what I'm talking about, let me know because now I'm so curious about this username I can't remember.