Comparing blockblaz:main...Pier-Two:main · blockblaz/lean-quickstart

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.

base repository: blockblaz/lean-quickstart

Failed to load repositories. Confirm that selected base ref is valid, then try again.

base: main

Choose a base ref

...

head repository: Pier-Two/lean-quickstart

Failed to load repositories. Confirm that selected head ref is valid, then try again.

compare: main

Choose a head ref

blockblaz:main is up to date with all commits from Pier-Two:main. Try switching the base for your comparison.