When this first happened, I contacted GitHub. They said they hoped to announce a replacement in time for the depreciation. I expect the newly announced GitHub Actions will be a part of that.
Sam On Tue, Oct 16, 2018 at 6:19 PM 'John Clements' via Racket Users < [email protected]> wrote: > For many months, now, my github notifications of repository commits have > been marked like this one, with “this service has been marked for > deprecation.” Is there another way to get these e-mails, or are we just > resigned to allowing this to disappear? > > Apologies if (as seems likely) I’ve missed discussion of this. > > John > > Begin forwarded message: > > *From: *Andrew Kent <[email protected]> > *Subject: **[racket/typed-racket] b46d65: fix domain printing for rest > args* > *Date: *October 16, 2018 at 10:58:03 AM PDT > *To: *[email protected] > *Reply-To: *Andrew Kent <[email protected]> > > Branch: refs/heads/master > Home: https://github.com/racket/typed-racket > Commit: b46d656cd228487acb4be54191cbeb967157f6af > > https://github.com/racket/typed-racket/commit/b46d656cd228487acb4be54191cbeb967157f6af > Author: Andrew Kent <[email protected]> > Date: 2018-10-16 (Tue, 16 Oct 2018) > > Changed paths: > M typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt > > Log Message: > ----------- > fix domain printing for rest args > > > > **NOTE:** This service has been marked for deprecation: > https://developer.github.com/changes/2018-04-25-github-services-deprecation/ > > Functionality will be removed from GitHub.com on January 31st, 2019. > > > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
