On Thu, 01 Apr 2021, Paweł Zuzelski wrote: > 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.
Well, github is just a mirror. I fetched and pushed your changes to PLD repo. BTW, don't worry about pushing directly, it's not irreversible. -- Jan Rękorajski | PLD/Linux SysAdm | baggins<at>pld-linux.org | http://www.pld-linux.org/ _______________________________________________ pld-devel-en mailing list pld-devel-en@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
