fix generation of github url