`ratchetFrom 'origin/main'` can be broken in PR if the PR repo has `main` somewhere different than upstream

https://github.com/diffplug/goomph/pull/191 is an interesting PR. spotless is failing, but it passes if you checkout the branch locally and clone.

The reason for the discrepancy is that `diffplug/goomph` had main at https://github.com/diffplug/goomph/commit/22f4e8d6c22366c4d9b041bec93cc42e1862d9e9, whereas `jmini/goomph` had main at https://github.com/jmini/goomph/commit/4c8da613a16f98155ee167239ced96a335ec1016. Because the PR came from `jmini`, from the PR point of view `origin/main` is `jmini/main`, whereas for most people who checkout the project, `origin/main` is `diffplug/main`.

The workaround is for the PR author to move their `main` to match the upstream project.

Ideally users wouldn't have to deal with this, maybe something like `ratchetFrom 'https://github.com/diffplug/spotless@main'`, and then Spotless can detect the correct remote or add it if missing.