throwaway68642··on I'm quitting my PhDPosting his commit history seems like a bit of a transgression though. If he's taken the post down I don't consider it any of our business.