Fix github url in vcs repository example