Hi,

On 30/10/23 0:32, Boian Bonev wrote:

> Hi,
>
> On Sun, 2023-10-29 at 13:22 +0100, aitor wrote:
>> Hi,
>> I tried to do a pull request in the original eudev git repository, but I'm not being able to compare across forks
>> because my git repository doesn't appear in the drop-down list when I try to select the head repository.
> Looks like one of GH's quirks. I have also tried and couldn't find a way to
> create a PR between 'unrelated' repos.
>
> Unrelated is quoted, because GH does not know that they are related.
>
> Seems that the only (known to me) way for GH to know is to use their fork
> button on the web interface.
>
>> Therefore, I opened the PR in my own repository:
>> https://github.com/gnuinos/eudev/pull/1
> Thanks for the fix! Merged.
>
> While it is not hard to get your commit and push it to the eudev-project/eudev
> repo, please do the following for the next PR:
>
> 1) delete the your eudev repo
> 2) fork it again from GH's web
> 3) push your commit(s) to the fork
> 4) create a PR

Thanks Boian, I can see the commit in eudev-project/eudev

I keep in mind your suggestions from now on.

Cheers,

Aitor.