On 12/20/19, Gregory Nutt <spudan...@gmail.com> wrote: > >>> Alan, I see that you brought these changes into the Apache. I was >>> surpised to see that the same changes are in the gitbox.apache.org >>> repository are in the github.com/apache repositories. Can you please >>> clarify what you did here? Did you >>> >>> * Modify https://gitbox.apache.org/repos/asf?p=incubator-nuttx.git >>> and >>> the changes were mirrored to >>> https://github.com/apache/incubator-nuttx --OR-- >>> * Modify https://github.com/apache/incubator-nuttx and the changes >>> were mirrored to >>> https://gitbox.apache.org/repos/asf?p=incubator-nuttx.git >>> >>> The messages from com...@apache.org suggest you did the first. Is that >>> correct? Dig you modify gitbox? >>> >>> Are the two repositories "linked" in some way so that they are >>> equivalent? Or are they separate and one is mirroring the other? >>> >>> I ask because in the morning when the next commits (but hopefully not >>> PRs) show up, do I commit them to >>> https://gitbox.apache.org/repos/asf?p=incubator-nuttx.git or to >>> https://github.com/apache/incubator-nuttx. If I know which you >>> modified, then I will do the same because it worked quite well. >> I used the ssh://g...@github.com/apache/incubator-nuttx > > Well that answers a question that was asked earlier: Which repository > is a mirror of the other? Either gitbox.apache.org is a mirror of > github.com/apache or two two URLs are linked to the same repository in > some fashion. >
I suppose they work syncronized like a single repo. But we pushed to github, not to gitbox. Probably pushing to gitbox also will work. BR, Alan
