Hi, Am 18. März 2025 21:25:36 MEZ schrieb Boyuan Yang <[email protected]>: >在 2025-03-18二的 21:21 +0100，Holger Wansing写道： >> Hi, >> >> deploying the changing on packages.d.o is not the next step. >> First, the changing has to be merged into the debian-master branch, >> since that's used on packages.d.o. > >Thanks for the info. Is the deployment from git branch to the server >fully automated like via some CI/CD-like pipeline or cron job? If yes, this >certain >commit should be merged/cherry-picked there. If not, someone will need to >perform the "deployment". Please let me know what should be the best way >forward.
There is no automatism. Someone needs to do a 'git pull' on picconi. I could do that. But for that, the change needs to land in debian-master branch (or at least this is how I know it). Holger -- Sent from /e/ OS on Fairphone3
