2020-12-04 12:24:39 UTC, Christopher Swenson: > > At some point in the past (2014?), > I set up a GitHub account called sageb0t. > > I no longer have access to the account, which is fine. > But, I still receive email notifications at ...@.... > > Could whoever runs this or has access to it remove > my email address from the notifications, or change > the email address associated with it? > > It has been a very busy bot lately.
Hi Christopher, Do you happen to have a copy of the script that sageb0t bot was using to convert pull requests made to the Sage repo on GitHub into tickets on the Sage Trac server? I have been trying to locate that script without success for a few years now, and none of the people I asked had any form of backup of it. Previous discussions on sage lists. - sage-devel, 2016-07 Git repository should have Sage versions as branches not tags https://groups.google.com/g/sage-devel/c/wcqMjrCZHHQ/m/VcwbV-cYAgAJ - sagemath-admins, 2018-02 Looking for sageb0t https://groups.google.com/g/sagemath-admins/c/H8_Jrs6BGuA - sagemath-admins, 2018-02 Adding GitHub login to our trac https://groups.google.com/g/sagemath-admins/c/y8xde5OTe5Q Hope these notifications can be turned off for you. Kind regards, --Samuel Lelièvre -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/37233d21-508d-4f80-91ec-d3cf0be1847en%40googlegroups.com.
