On Wed, Mar 31, 2021 at 6:11 PM Elan Ruusamäe <g...@pld-linux.org> wrote:
> On 31.03.2021 18:01, Paweł Zuzelski wrote:
> > Hi all,
> >
> > Could someone please review and push https://github.com/pawelz/pld-dhcp
> > specifically that commit:
> >
https://github.com/pawelz/pld-dhcp/commit/071ac6b61dedf115572076ad17bbbef53226b22c
> > ?
> >
> > This change fixes broken init for dhcp6.
> >
> > It's been 10 years since I touched PLD, so I don't really feel
comfortable
> > pushing without supervision even if I still have access to the repo.
>
> you can push to a branch
>
> you can also open a pull request in github

Ah, thank you. I haven't realized that those repos are actually hosted on
github. I created a PR there.
_______________________________________________
pld-devel-en mailing list
pld-devel-en@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-devel-en

Reply via email to