gitlab sending its mails from surprising host "gitlab-02" sometimes
Here is one of my remaining mysteries for the weekend: on Thursday night when I changed ldap to fwd my arma@tpo mail to mit.edu rather than seul.org, I started getting my gitlab mails From git@gitlab-02.torproject.org. Tonight when I changed it back to not go through mit, they resumed being From git@gitlab.torproject.org.
Is there some exception we have in place for some destinations? Do we send from either and our June instructions (https://lists.torproject.org/pipermail/tor-project/2022-June/003421.html) have become no longer accurate?
Not a big deal since I can batch-tag and batch-move them in mutt, but in case your response is "wait wtf", now you know. :)
Oh, I should also say that my spamassassin assigns the "HEADER_FROM_DIFFERENT_DOMAINS" tag to the gitlab-02 mails, which makes them more spammy in its eyes.
I can send full email headers for each type if you want them.