Archives
Archives
| From: | Dwosky <dwosky@××××××××××.com> |
|---|---|
| To: | "gentoo-proxy-maint@l.g.o" <gentoo-proxy-maint@l.g.o> |
| Subject: | [gentoo-proxy-maint] Question regarding a conflicting PR |
| Date: | Sun, 31 Mar 2019 12:05:23 |
| Message-Id: | RV1n6_D-oZ4tkcSVTOi2V1EK0JoCZdVmxQJvjHDIsn8GmwgY_bFFaAMHI-Boryysfd_E2l6LNyyNMPU5QTXP37AYQCnhucunGqmtOxJLEvk=@protonmail.com |
| 1 | Hello, |
| 2 | |
| 3 | Last year I opened a PR to update zziplib to version 0.13.69 (https://github.com/gentoo/gentoo/pull/10627). While my PR was being reviewed it seems another user merged its PR so mine conflicted with it. I haven't received any feedback in a while, so I was wondering what would the best approach be, if just to close the PR or something else? |
| 4 | |
| 5 | Cheers, |
| 6 | Peter. |
| Subject | Author |
|---|---|
| Re: [gentoo-proxy-maint] Question regarding a conflicting PR | "Michał Górny" <mgorny@g.o> |