Update the github url following the repo transfert
Update mix.exs
Add push\pull socket