updating havana-repository