Hi Markus, Markus Heiser writes:
>> Am 26.01.2018 um 09:59 schrieb Olaf Meeuwissen <paddy-h...@member.fsf.org>: >> >> Dear all, >> >> TL;DR :: Let's move to GitLab.com! Mailing list TBD. > > [ ... ] > >> The idea of putting a repository mirror on GitHub is interesting but I'm >> not sure how pull requests and issues would work out if things are split >> over multiple sites. > > Its not a show stopper: pull request can be handled by git itself, > adding the github remote repo and pull the feature branch from there > into the gitlab origin. Vice versa the github users are be able to > fork from gitlab origin this way. > > What I mean: there is no need for a github mirror. > > Stay with a Single-Point-of-Definition and do not mirror, it will > only confuse the github users. Thanks for your comments. I realize that a github mirror is not required. It's just something I hadn't considered. When I did, I started to wonder how the web based merge/pull request workflows would interoperate. I have the impression that it will be confusing at the very least, so, yes, let's start with a *single* location for the project, at least until we're all settled on GitLab.com Again, thanks for the feedback, -- Olaf Meeuwissen, LPIC-2 FSF Associate Member since 2004-01-27 GnuPG key: F84A2DD9/B3C0 2F47 EA19 64F4 9F13 F43E B8A4 A88A F84A 2DD9 Support Free Software https://my.fsf.org/donate Join the Free Software Foundation https://my.fsf.org/join -- sane-devel mailing list: sane-devel@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/sane-devel Unsubscribe: Send mail with subject "unsubscribe your_password" to sane-devel-requ...@lists.alioth.debian.org
