"Guillaume Tucker" guillaume.tucker@gmail.com writes:
We're experiencing some issues while transferring DNS records for the kernelci.org domain. Please bear with us while we're actively working on restoring them.
Everything should be back now. Please report any issues here.
Thanks,
Kevin