Update name of repository for ATL