Example: https://github.com/netwerk-digitaal-erfgoed/solid-crs/pull/392. Branch name seems correct locally, but Github adds the `user:` prefix when forked.