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. |