On Tue, 28 Mar 2023 09:10:07 +0200 Stefan Schmidt wrote: > Sorry for that. I did not update my pull request script when changing > the git tree URLs to our team tree. Updated now. > > The tag is now on the tree above. You want me to send a new pull request > or do you take it from here? Thanks, fresh PR would be better, I can't re-trigger the patchwork checks on an existing one :(
