Ok tried to do my homework on this one, and found that the manifold team helpfully provided a timeline for the subsidy glitch this weekend!

Seems like it was indeed on friday that the final button was pressed which unsubsidized everything on the site, if I'm reading this right?

@Joshua Great, that makes sense. So David's changes were never actually deployed by themselves, and only went live after a deploy was triggered for unrelated changes, which happened on Friday.

Minor timeline correction: "PR was submitted Th night" should read "PR was merged Tues night". When it was submitted (3 weeks ago) isn't relevant, the relevant date is when it was merged, that was Tues night (link to PR).

@chrisjbillington I think I can resolve yes then, right? Or is there still doubt somewhere?

@jskf Nope, seems pretty clear to me, I think it can resolve.

Yeah the staff notes do say "be careful about pushing changes on Friday"

Oh, and a comment from Sinclair just now

To be clear, which perhaps matters in terms of the spirit of the market, the PR wasn't merged on friday.

lololololol

If this gets unresolved on a technicality, I will fully deserve it

@ian For this market, what I care about is that someone did something to prod on Friday, such that if they hadn't, the problem would not have occurred during the weekend.

The market is about the time of the "prod push", not PR merge. So I think the resolution is accurate.

@Stralor What was the prod push last week?

@oh unsure on the commits but magically trader bonuses have disappeared

@Stralor Yes, if the problem was caused by something someone did to prod on Friday I will count it here.

See also:

Looks like it's new policy not to make large friday changes.

No big database changes.

I have faith in the team. Lessons will be learned.

I assume this means that a change on Thursday that is not resolved on the weekend will not count?

Correct

I do like me a few free marbles.

Inspired by https://manifold.markets/Joshua/will-manifold-be-mostly-working-nor#raoMFowPfLBxx1Lta8Wl

Will Manifold be working normally for me at the end of the weekend?

92% chance. Manifold’s been all glitchy today! Intermittent issues include delays in questions updating after bets, delays in notifications, and not being able to see the list of a user’s bets on their profile page. Resolves to a percentage of how well I judge Manifold to be working at market close…