Hi, > Am 31.12.2016 um 11:29 schrieb Henrik B A <[email protected]>: > > Just delete your existing github repo and fork the new one. Your local repo > will point to the new one if it has the same name.
According to the GitHub Helpdesk you cannot connect two repositories unless one is a GitHub fork of the other. Given that already many people cloned Linus' repository, maybe it would be more legacy-friendly to delete Dirk's and then recreate it as a fork of Linus'. Best Robert PS: Happy New Year everyone! _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
