Hi, > On 30 Dec 2016, at 23:19, Dirk Hohndel <[email protected]> wrote: > > This is the big problem with saying "we move to github". > There are way too many "Subsurface" repositories there. > > Robert, please make pull requests to > https://github.com/Subsurface-divelog/subsurface > > Linus, would you have a problem with either deleting your repository or > putting a bot there that auto-closes all pull requests? Unfortunately, > GitHub very very intentionally and explicitly does not provide a way to > turn off pull requests on repos :-(
will do. Maybe someone knows (i haven’t been able to quickly find an answer): My github repository of subsurface was cloned from Linus’ a long time ago. When I try to create a pull request on the github webpage, I cannot do it relative to Subsurface-divelog/subsurface as Github is not aware of it being related to torvalds/subsurface. How do I tell Github about that connection? Best Robert
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
