diff options
author | sterni <sternenseemann@systemli.org> | 2023-11-30T12·22+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2023-11-30T17·19+0000 |
commit | 1470ff1be13a4053aeec5eab0b43b4a451a0c3c1 (patch) | |
tree | 236d86c7ca61fa5c76f077748a0d252e7a267b21 /users/grfn/xanthous/src/Xanthous/Data/App.hs | |
parent | 1481066cb78460649d55f9bfc0931740baee7e3f (diff) |
fix(sterni/edwin): launch mirror jobs after network-online.target r/7091
This will hopefully prevent failures on system deploys where DNS is briefly not available, so git(1) fails to resolve github.com. Thanks flokli for the tip. Change-Id: I6096e9f3655cbe28ca2a71142de22337814e0be1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10172 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/Data/App.hs')
0 files changed, 0 insertions, 0 deletions