On Sat, 2020-11-28 at 13:18 -0500, Paul Vinciguerra wrote:
> 
> We don't see pull requests.  Github is just a mirror of the gerrit
> repo.

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

-=-=-=-=-=-=-=-=-=-=-=-
Links: You receive all messages sent to this group.
View/Reply Online (#18190): https://lists.fd.io/g/vpp-dev/message/18190
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]
-=-=-=-=-=-=-=-=-=-=-=-

Reply via email to