CI for 9.0.1 is broken due to missing upstream commit

[isovector]

It appears CI for 9.0.1 is broken. At least four PRs currently in the queue are broken in 9.0.1 with the following error:

Cloning into '/home/runner/work/haskell-language-server/haskell-language-server/dist-newstyle/src/operation_-2cf41f8926150174'...
fatal: reference is not a tree: 0e062895678f49fd673ae493371262cfb8c5ab56

Digging in, that commit appears to be referenced here:

haskell-language-server/stack-9.0.1.yaml

Lines 98 to 100 in a0f6f5f

	- github: berberman/operational
	commit: 0e062895678f49fd673ae493371262cfb8c5ab56
	# https://github.com/HeinrichApfelmus/operational/pull/26

and comes with a helpful PR reference:

HeinrichApfelmus/operational#26

which is now merged. Looking at the commit in question:

berberman/operational@0e06289

github responds with

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

which sounds scary and I'd bet is why CI is failing.

@berberman your name is attached to the commit in question, mind investigating?

[jneira]

The problem is the branch in berberman's repo was deleted after merge so the commit does not exist anymore. We have to change the commit to point to HeinrichApfelmus/operational/master, as the pr was merged into

[berberman]

Sorry, my bad, I should've kept my branch even if the PR was merged.

[isovector]

This is the sort of thing nobody would ever think about :) No worries at all!