[devtools fix] Fix git URL (#2607)