fix github url in mix.exs