Re: [p2-dev] p2 Git repository moved to GitHub

[Mickael Istria <mistria@xxxxxxxxxx>]

On Thu, Mar 17, 2022 at 2:49 PM Christoph Läubrich <laeubi@xxxxxxxxxxxxxx> wrote:

The only reference I can give is this:

https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/configuring-a-remote-for-a-fork
https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/syncing-a-fork

where the "original repository" is called the "upstream"

OK, that's good enough to adopt this in default messages as recommendation; and still let people do whatever they want anyway.