Archives
Archives
| From: | Mike Gilbert <floppym@g.o> | ||
|---|---|---|---|
| To: | Gentoo Dev <gentoo-dev@l.g.o> | ||
| Subject: | Re: [gentoo-dev] PR mass closing | ||
| Date: | Sat, 16 May 2020 19:30:57 | ||
| Message-Id: | CAJ0EP434cWNhyZ7X+KqbN5Ax-t8g2oxwkpVCfo-UVODbLBKQRQ@mail.gmail.com | ||
| In Reply to: | [gentoo-dev] PR mass closing by lssndrbarbieri@gmail.com | ||
| 1 | On Sat, May 16, 2020 at 2:08 PM <lssndrbarbieri@×××××.com> wrote: |
| 2 | > |
| 3 | > Was it necessary to mass close my PR on GitHub? I’ve lost quite some time to make them and I’m a bit upset. |
| 4 | |
| 5 | Most of us have no idea what you are talking about. Perhaps you should |
| 6 | direct this message to whoever closed your pull request, or provide |
| 7 | some context for the rest of us. |