Another issue. The github vpp repo doesn't seem to be a mirror to me or the mirror is not updated frequently enough. During the past months, I was writing a new VPP plugin. The code crashed outside of my plugin. After a day or two, I pulled a gerrit vpp repo and using my plugin, the code didn't crash. I aw significant differences between the github and gerrit repos at the time.
I agree with Elias. Long term, maybe use of gerrit is deprecated and github is used. Github is free for public repos. Hemant -----Original Message----- From: vpp-dev@lists.fd.io <vpp-dev@lists.fd.io> On Behalf Of Elias Rudberg Sent: Sunday, November 29, 2020 5:14 AM To: pvi...@vinciconsulting.com; hem...@mnkcg.com Cc: vpp-dev@lists.fd.io Subject: Re: [vpp-dev] minor doc change I think it would be good if that could be clarified on the github page. When people search for "vpp source code" or similar, I think they will often end up on the github page and it's not immediately obvious from there that it's only a mirror. (People might get the wrong idea about some things, for example github shows a "contributors" list which I guess is not accurate as it only shows authors who happen to have github accounts that are linked to gerrit in some way?) The github page says, under "About" to the right, "No description, website, or topics provided." So there is apparently a possibility to enter a "description", perhaps that could be used to indicate that it is just a mirror? Best regards, Elias
smime.p7s
Description: S/MIME cryptographic signature
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#18191): https://lists.fd.io/g/vpp-dev/message/18191 Mute This Topic: https://lists.fd.io/mt/78559913/21656 Group Owner: vpp-dev+ow...@lists.fd.io Unsubscribe: https://lists.fd.io/g/vpp-dev/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
