@jezenthomas Yes, it's disappointing to not hear a heads up from
@github … or for them to have a server-side fix.