As it says above!
Previous comments from @stephankramer on the developer's documentation and installation instructions: I guess we first need to decide on what we do with the main/release structure. Then the dev instruction could just be a short instruction to branch of main (using a Firedrake main build - link to instructions), then something generic about PRs, linting etc.
As it says above!
Previous comments from @stephankramer on the developer's documentation and installation instructions: I guess we first need to decide on what we do with the main/release structure. Then the dev instruction could just be a short instruction to branch of main (using a Firedrake main build - link to instructions), then something generic about PRs, linting etc.