Hi Boyuan Yang and Holger Wansing,
Thank you very much, sincerely.
在 2025/3/19 上午4:56, Holger Wansing 写道:
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.
Okay, waiting your good news. Please feel free to contact me at any time.
Many people are busy with their daily work and life, please take your
extra or free time.
But for that, the change needs to land in debian-master branch
(or at least this is how I know it).
Holger
Best regards,
Dandan
