Skip to content

[pull] main from google:main#450

Merged
pull[bot] merged 5 commits intoemaheuxPEREN:mainfrom
google:main
Apr 9, 2026
Merged

[pull] main from google:main#450
pull[bot] merged 5 commits intoemaheuxPEREN:mainfrom
google:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Apr 9, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

jemoreira and others added 5 commits April 8, 2026 22:51
…longer

We met an issue that the installer failed with
"Your network is probably not using the DHCP protocol. Alternatively,
the DHCP server may be slow or some network hardware is not working
properly."

We make the dhcp timeout longer for fixing this issue.

Signed-off-by: Ying-Chun Liu (PaulLiu) <paulliu@debian.org>
@pull pull bot locked and limited conversation to collaborators Apr 9, 2026
@pull pull bot added the ⤵️ pull label Apr 9, 2026
@pull pull bot merged commit f89a0f9 into emaheuxPEREN:main Apr 9, 2026
15 of 16 checks passed
@pull pull bot had a problem deploying to github-pages April 9, 2026 05:17 Failure
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants