3 ms·

Don't read too much into it. It's a common sign-off in GitHub's internal culture for when people leave.