It looks like since a few months back patchew stopped pushing patches to git branches: eg
https://patchew.org/QEMU/20240526204551.553282-1-richard.hender...@linaro.org/ from four months ago had a git branch created for it, but more recent patches in patchew's UI don't seem to have that. Did this get accidentally lost when patchew moved server, or was it deliberately disabled? thanks -- PMM
