According to cabal.project script for the English Auction, the git branch for this plutus script is:
source-repository-package type: git location: https://github.com/input-output-hk/plutus-apps.git tag: 41149926c108c71831cfe8d244c83b0ee4bf5c8a
But when I do a git checkout of the plutus-apps, I am unable to run the plutus-playground-server.
However when I use as different branch as discuss here:
(Solved) Error running plutus-playground-client in Linux
I can run both server and client without a hitch but unfortunately the project script doesn't compile as it's in the wrong repository.
Is there a way to correct this?