fix open in terminal github url