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.
