https://web.archive.org/web/20241009043953/https://github.co... And for those like me who don't pay attention it had 69k stars earlier in the month.

Well maybe it’ll take a day or two before they can get someone to restore the stars?

Now probably Github can update the starts in the database with an adhoc query.

They didn't in this case: https://news.ycombinator.com/item?id=31033758

That's a foss tool though, elastic is a for profit company and might be willing to pay money to have it restored/might already be a paying GitHub customer.

And GitHub might have implemented something that let's them restore it after it wasn't possible before, as it's been 2 yrs since.

Lots of possibilities that might change the outcome if elastic is lucky

From the referenced article:

"In our case, however, they refuse to do that, citing undesirable side effects and the cost of resources. We even offered GitHub financial compensation for any resources required. But, sadly, they declined. They have other priorities than resurrecting the community of one of the oldest and most popular community projects on their platform."

Certainly possible they implemented a way to do this over the last 2 years.