#1003 change GitHub and remove inria