distrib name

[mamadou diop]

Hello members, My distrib name of my FAI ubuntu server is jaunty. After
creating my local deb mirror, the distrib name present in
/files/scratch/debmirror/dists/ is hardy.
Which one these distrib names, must I put in /etc/fai/apt/sources.list.