This email https://mail.openjdk.java.net/pipermail/jdk-dev/2021-March/005232.html says to use git sync --branches pr/XXX to get some PR branch into your fork.
but it's not working, any argument to --branches is ignored.
but it's not working, any argument to --branches is ignored.