Before the end of 2023, will another Friday prod push cause major problems on Manifold?

422

Ṁ13K

Ṁ910

resolved Nov 6

Resolved

YES

ALL

This is considered bad manners if you have on-call SREs (or users).

Friday or weekend.

Get Ṁ200 play money

🏅 Top traders

#	Name	Total profit
1		Ṁ827
2		Ṁ264
3		Ṁ176
4		Ṁ89
5		Ṁ86

21 Comments

36 Holders

132 Trades

Sort by:

bought Ṁ500 of YES

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?

bought Ṁ300 of YES

@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?

bought Ṁ500 of YES

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

bought Ṁ500 of YES

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

predicted YES

Oh, and a comment from Sinclair just now

predicted NO

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

predicted YES

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.

predicted NO

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